Skip to content
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

Docs: rotate documentation for 2442 distribution #2005

Merged
merged 1 commit into from
Oct 21, 2024
Merged

Docs: rotate documentation for 2442 distribution #2005

merged 1 commit into from
Oct 21, 2024

Conversation

jpraynaud
Copy link
Member

Content

This PR includes the rotation of the documentation with the release of the new 2442 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 #1943

@jpraynaud jpraynaud self-assigned this Oct 14, 2024
@github-actions GitHub Actions
Copy link

github-actions bot commented Oct 14, 2024 •
edited
Loading

Test Results

    4 files  ±0     54 suites  ±0   9m 33s ⏱️ +10s
1 352 tests ±0  1 352 ✅ ±0  0 💤 ±0  0 ❌ ±0 
1 560 runs  ±0  1 560 ✅ ±0  0 💤 ±0  0 ❌ ±0 

Results for commit 8b6b9f0. ± Comparison against base commit 28dd7ae.

♻️ This comment has been updated with latest results.

@jpraynaud
docs: rotate current documentation
8b6b9f0 
With release of distribution '2442' by running 'make update-current' command.
@jpraynaud jpraynaud force-pushed the jpraynaud/1943-rotate-doc-distribution-2442 branch from 37b2e8b to 8b6b9f0 Compare October 14, 2024 13:17
@jpraynaud jpraynaud marked this pull request as draft October 14, 2024 13:37
@jpraynaud jpraynaud marked this pull request as ready for review October 21, 2024 13:34
@jpraynaud jpraynaud merged commit 089640c into main Oct 21, 2024
48 checks passed
@jpraynaud jpraynaud deleted the jpraynaud/1943-rotate-doc-distribution-2442 branch October 21, 2024 13:47
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

@sfauvel sfauvel sfauvel approved these changes

@dlachaume dlachaume dlachaume approved these changes

Assignees

@jpraynaud jpraynaud

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@jpraynaud @Alenar @sfauvel @dlachaume