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.

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

Rotate documentation for 2423 distribution #1732

Merged
merged 1 commit into from
Jun 12, 2024

Conversation

jpraynaud
Copy link
Member

@jpraynaud jpraynaud commented Jun 6, 2024

Content

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

@jpraynaud jpraynaud self-assigned this Jun 6, 2024
@jpraynaud jpraynaud requested review from Alenar, sfauvel and dlachaume June 6, 2024 08:07
Copy link
Collaborator

@dlachaume dlachaume left a comment

Choose a reason for hiding this comment

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

LGTM

Copy link

github-actions bot commented Jun 6, 2024

Test Results

    3 files  ±0     43 suites  ±0   8m 41s ⏱️ -5s
1 028 tests ±0  1 028 ✅ ±0  0 💤 ±0  0 ❌ ±0 
1 126 runs  ±0  1 126 ✅ ±0  0 💤 ±0  0 ❌ ±0 

Results for commit 1b913d8. ± Comparison against base commit bda0888.

♻️ This comment has been updated with latest results.

@jpraynaud jpraynaud temporarily deployed to testing-preview June 6, 2024 08:24 — with GitHub Actions Inactive
@jpraynaud jpraynaud temporarily deployed to testing-sanchonet June 6, 2024 08:24 — with GitHub Actions Inactive
With release of distribution '2423' by running 'make update-current'
command.
@jpraynaud jpraynaud force-pushed the jpraynaud/1695-rotate-doc-distribution-2423 branch from f89efa1 to 1b913d8 Compare June 11, 2024 10:47
@jpraynaud jpraynaud temporarily deployed to testing-preview June 11, 2024 10:53 — with GitHub Actions Inactive
@jpraynaud jpraynaud temporarily deployed to testing-sanchonet June 11, 2024 10:53 — with GitHub Actions Inactive
@jpraynaud jpraynaud marked this pull request as ready for review June 12, 2024 08:07
@jpraynaud jpraynaud merged commit 69ac5d7 into main Jun 12, 2024
41 checks passed
@jpraynaud jpraynaud deleted the jpraynaud/1695-rotate-doc-distribution-2423 branch June 12, 2024 08:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants