Skip to content

Conversation

@katexochen
Copy link
Member

No description provided.

@katexochen katexochen added this to the v1.16.0 milestone Nov 20, 2025
@katexochen katexochen added the documentation Improvements for user docs label Nov 20, 2025
@github-actions
Copy link

Do the documentation changes need to be backported?

Changes to /docs/docs won't be visible until the next release.
If you are fixing something in the docs that should be immediately visible, the changes needs to be made to both /docs/docs and /docs/versioned_docs/version-X.Y, where X.Y is the version of the latest minor release.
This can be done in this same PR.

  • Yes, this should be backported to the current version of the docs.
  • No, the PR only contains docs changes relevant for future versions.

@github-actions
Copy link

PR Preview Action v1.6.2

🚀 View preview at
https://edgelesssys.github.io/contrast/pr-preview/pr-1951/

Built to branch gh-pages at 2025-11-20 10:43 UTC.
Preview will be ready when the GitHub Pages deployment is complete.

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