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

docs: add versioning #305

Merged
merged 5 commits into from
Apr 9, 2024
Merged

docs: add versioning #305

merged 5 commits into from
Apr 9, 2024

Conversation

katexochen
Copy link
Member

@katexochen katexochen commented Apr 8, 2024

Adding a step to the release pipeline to create a new docs version on the main branch. This way, docs will be versioned and users will be able to view docs of previous and latest version, while we can work on the docs of the next version without producing inconsistencies.

@katexochen katexochen added the no changelog PRs not listed in the release notes label Apr 8, 2024
@katexochen
Copy link
Member Author

Currently waiting for #300 to test both changes together in the release pipeline.

Copy link

github-actions bot commented Apr 8, 2024

PR Preview Action v1.4.7
Preview removed because the pull request was closed.
2024-04-09 06:55 UTC

Signed-off-by: Paul Meyer <[email protected]>
Signed-off-by: Paul Meyer <[email protected]>
@katexochen
Copy link
Member Author

Successful release workflow: https://github.com/edgelesssys/contrast/actions/runs/8611386270

@katexochen
Copy link
Member Author

Release PR for main: #308
Currently fails as fixes of this PR are missing on main for versioned docs to work.

@katexochen katexochen marked this pull request as ready for review April 9, 2024 06:45
@katexochen katexochen changed the title release: version docs docs: add versioning Apr 9, 2024
@katexochen katexochen added documentation Improvements for user docs and removed no changelog PRs not listed in the release notes labels Apr 9, 2024
@katexochen katexochen requested a review from msanft April 9, 2024 06:48
@katexochen katexochen merged commit e7fc5ca into main Apr 9, 2024
10 checks passed
@katexochen katexochen deleted the p/docs-release branch April 9, 2024 06:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements for user docs
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants