Skip to content

ci: deploy docs to production on CLI release - #395

Merged
awphi merged 1 commit into
mainfrom
deploy-docs-to-production
Aug 5, 2026
Merged

ci: deploy docs to production on CLI release#395
awphi merged 1 commit into
mainfrom
deploy-docs-to-production

Conversation

@awphi

@awphi awphi commented Aug 5, 2026

Copy link
Copy Markdown
Contributor

Changes

  • Deploys docs to production when we release the CLI

Checklist

  • 🤖 This change is covered by tests as required.
  • 🤹 All required manual testing has been performed.
  • 📖 All documentation updates are complete.

Signed-off-by: awphi <26072111+awphi@users.noreply.github.com>
@awphi
awphi requested a review from a team as a code owner August 5, 2026 12:09

@federicobozzini federicobozzini left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

🥳

@awphi
awphi merged commit 67eaa90 into main Aug 5, 2026
5 checks passed
@awphi
awphi deleted the deploy-docs-to-production branch August 5, 2026 16: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.

2 participants