Skip to content

chore: pin ct-agents v0.3.0 - #480

Merged
ocots merged 1 commit into
mainfrom
chore/pin-ct-agents-0.3.0
Oct 21, 2026
Merged

ocots merged 1 commit into
mainfrom
chore/pin-ct-agents-0.3.0

Conversation

@ocots

@ocots ocots commented Oct 20, 2026

Copy link
Copy Markdown
Member

Pins ct-agents v0.3.0 in AGENTS.md (ct-agents#16). Phase 8 of the release recipe now ends with release.jl audit (CTActions#120): once the release is done, the agent checks the trail it left (the comments of the issue, the one registration mention, the PR, the tag, the registry, the deleted branch) and reports a failure to the human.

Only the "Pinned version" line and the clone command of AGENTS.md change, plus a line in the changelog. On a machine that has the clone: rm -rf .ct-agents and clone again with the command of AGENTS.md.

Docs only, no code and no workflow.

🤖 Generated with Claude Code

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@ocots ocots added the ci on main: changes only Before merging: on main, rerun only the jobs the merged files can affect (never on a release PR) label Oct 21, 2026
@ocots
ocots merged commit d607721 into main Oct 21, 2026
7 checks passed
@ocots
ocots deleted the chore/pin-ct-agents-0.3.0 branch October 21, 2026 09:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci on main: changes only Before merging: on main, rerun only the jobs the merged files can affect (never on a release PR)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant