Skip to content

Trigger docs site deploy from CI relay jobs#31

Merged
Perlkonig merged 2 commits into
developfrom
ci/trigger-docs-deploy
Jul 8, 2026
Merged

Trigger docs site deploy from CI relay jobs#31
Perlkonig merged 2 commits into
developfrom
ci/trigger-docs-deploy

Conversation

@Perlkonig

@Perlkonig Perlkonig commented Jul 8, 2026

Copy link
Copy Markdown
Member

Summary

  • Add docs site dispatch to existing dev and prod relay jobs after publish
  • Dev relay sends dep_update_dev; prod relay sends dep_update_prod to AbstractPlay/docs

Test plan

  • Merge and verify a develop push dispatches docs deploy-dev workflow
  • Verify main publish dispatches docs deploy-prod workflow

Dispatch dep_update_dev/prod to AbstractPlay/docs after publish so the docs site rebuilds when renderer changes land.
@cursor

cursor Bot commented Jul 8, 2026

Copy link
Copy Markdown

Bugbot is not enabled for your account, so this pull request was not reviewed.

Enable Bugbot in the Cursor dashboard to get automatic reviews on future PRs.

@cursor

cursor Bot commented Jul 8, 2026

Copy link
Copy Markdown

Bugbot is not enabled for your account, so this pull request was not reviewed.

Enable Bugbot in the Cursor dashboard to get automatic reviews on future PRs.

@Perlkonig Perlkonig merged commit 0c2ae06 into develop Jul 8, 2026
1 check passed
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