Skip to content

Docs: rotate documentation for 2437 distribution #1930

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Sep 23, 2024
Merged

Docs: rotate documentation for 2437 distribution #1930

merged 1 commit into from
Sep 23, 2024

Conversation

@jpraynaud
Copy link
Member

@jpraynaud jpraynaud commented Sep 11, 2024

Content

This PR includes the rotation of the documentation with the release of the new 2437 distribution

Pre-submit checklist

  • Branch
    • Commit sequence broadly makes sense
    • Key commits have useful messages
  • PR
    • No clippy warnings in the CI
    • Self-reviewed the diff
    • Useful pull request description
    • Reviewer requested
  • Documentation
    • Update documentation website (if relevant)

Issue(s)

Relates to #1901

@jpraynaud
docs: rotate current documentation
0f46ff1 
With release of distribution '2437' by running 'make update-current' command.
@jpraynaud jpraynaud self-assigned this Sep 11, 2024
@github-actions
Copy link

github-actions bot commented Sep 11, 2024

Test Results

    4 files  ±0     53 suites  ±0   9m 22s ⏱️ -8s
1 252 tests ±0  1 252 ✅ ±0  0 💤 ±0  0 ❌ ±0 
1 463 runs  ±0  1 463 ✅ ±0  0 💤 ±0  0 ❌ ±0 

Results for commit 0f46ff1. ± Comparison against base commit f083934.

sfauvel
sfauvel approved these changes Sep 11, 2024
View reviewed changes
Copy link
Collaborator

@sfauvel sfauvel left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@jpraynaud jpraynaud changed the title Rotate documentation for 2437 distribution Docs: rotate documentation for 2437 distribution Sep 23, 2024
@jpraynaud jpraynaud merged commit 84f81b8 into main Sep 23, 2024
@jpraynaud jpraynaud deleted the jpraynaud/1901-rotate-doc-distribution-2437 branch September 23, 2024 13:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@Alenar Alenar Alenar approved these changes

+2 more reviewers

@sfauvel sfauvel sfauvel approved these changes

@dlachaume dlachaume dlachaume approved these changes

Reviewers whose approvals may not affect merge requirements

Assignees

@jpraynaud jpraynaud

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

5 participants

@jpraynaud @Alenar @sfauvel @dlachaume