Skip to content

Throwaway: show the Agent notes check runs main's guard (do not merge) - #740

Closed
MaxGhenis wants to merge 1 commit into
mainfrom
ci/agent-notes-guard-smoke
Closed

MaxGhenis wants to merge 1 commit into
mainfrom
ci/agent-notes-guard-smoke

Conversation

@MaxGhenis

Copy link
Copy Markdown
Contributor

Throwaway proof for #713. Not for merging: it closes, and its branch goes, once the check reports.

Its head adds .job/HANDOFF.md and replaces .github/check-agent-notes.sh with a script that always passes. On a pull request, the Agent notes workflow runs the default branch's copy of the script, not the PR's, so the No agent or job notes in the tree check must still fail here.

Its Code changes and Docs runs test nothing this proof needs; cancelling them frees the shared runners.

🤖 Generated with Claude Code

Proof for #713 that the Agent notes check runs the default branch's
guard: this head replaces the script with one that always passes.
Not for merging.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@MaxGhenis

Copy link
Copy Markdown
Contributor Author

The proof worked, so I'm closing this PR unmerged. Agent notes run 41963984834 failed on this head even though it replaces the script with one that always passes. It ran main's copy, reported .job/HANDOFF.md, and annotated "1 agent or job note path(s) in the tree, starting with .job/HANDOFF.md". I cancelled this PR's Code changes and Docs runs.

@MaxGhenis MaxGhenis closed this Nov 5, 2026
@MaxGhenis
MaxGhenis deleted the ci/agent-notes-guard-smoke branch November 5, 2026 03:50
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