Skip to content

Deploy docs only after Test Database succeeds#145

Merged
monodera merged 2 commits into
mainfrom
hotfix/deploy-docs-after-test
May 21, 2026
Merged

Deploy docs only after Test Database succeeds#145
monodera merged 2 commits into
mainfrom
hotfix/deploy-docs-after-test

Conversation

@monodera

Copy link
Copy Markdown
Contributor

Summary

  • Replace push trigger with workflow_run in deploy_docs_github_pages.yml
  • Documentation now deploys only after Test Database completes successfully on main
  • If Test Database fails, documentation is not deployed
  • workflow_dispatch retained for manual deploys

Motivation

Previously, Test Database and Deploy Documentation were triggered simultaneously on push to main, with no guaranteed ordering. This change ensures the correct sequence: tests pass → docs deploy.

Test plan

  • Merge this PR
  • Confirm Test Database runs on the resulting push to main
  • Confirm Deploy Documentation is triggered via workflow_run after Test Database succeeds
  • Confirm Deploy Documentation does not run if Test Database fails

🤖 Generated with Claude Code

Replace push trigger with workflow_run so documentation deploys
only when Test Database completes successfully on main, ensuring
correct ordering without race conditions.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
@codacy-production

Copy link
Copy Markdown

Up to standards ✅

🟢 Issues 0 issues

Results:
0 new issues

View in Codacy

NEW Get contextual insights on your PRs based on Codacy's metrics, along with PR and Jira context, without leaving GitHub. Enable AI reviewer
TIP This summary will be updated as you push new changes.

@monodera monodera merged commit 9f3047f into main May 21, 2026
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.

1 participant