Skip to content

ci: trigger docs generation when a PR is merged - #90

Merged
agnieszka-m merged 1 commit into
mainfrom
ci/trigger-docs-on-merge
Oct 21, 2026
Merged

agnieszka-m merged 1 commit into
mainfrom
ci/trigger-docs-on-merge

Conversation

@agnieszka-m

Copy link
Copy Markdown
Contributor

What this changes

The docs agent now runs after a PR is merged instead of while it is open or being pushed to. The trigger listens for `pull_request: closed` and runs only when the PR was merged, so closing without merging does nothing. The draft check is gone because it no longer applies.

Companion change in dc-docs: https://github.com/deepset-ai/dc-docs/pull/1319 (the agent also checks that the PR is merged and exits otherwise). Merge the two together.

🤖 Generated with Claude Code

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@github-actions

Copy link
Copy Markdown
Contributor

Coverage report

This PR does not seem to contain any modification to coverable code.

@agnieszka-m
agnieszka-m enabled auto-merge October 21, 2026 09:37
@agnieszka-m
agnieszka-m merged commit 7829a16 into main Oct 21, 2026
7 checks passed
@agnieszka-m
agnieszka-m deleted the ci/trigger-docs-on-merge branch October 21, 2026 10:02
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