Skip to content

chore: pin ct-agents v0.4.0 - #1020

Merged
ocots merged 1 commit into
mainfrom
chore/pin-ct-agents-v0.4.0
Oct 24, 2026
Merged

ocots merged 1 commit into
mainfrom
chore/pin-ct-agents-v0.4.0

Conversation

@ocots

@ocots ocots commented Oct 24, 2026

Copy link
Copy Markdown
Member

Bumps the pinned ct-agents from v0.3.0 to v0.4.0 in AGENTS.md. The release makes a step of the release recipe precise: the release PR is opened, closed, given all its labels, then reopened (one run per 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 24, 2026
@ocots
ocots merged commit e3835be into main Oct 24, 2026
12 checks passed
@ocots
ocots deleted the chore/pin-ct-agents-v0.4.0 branch October 24, 2026 09:28
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