Skip to content

chore: pin ct-agents v0.4.0 and ct-conventions v0.9.0 - #655

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

ocots merged 2 commits 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 and the pinned ct-conventions from v0.8.0 to v0.9.0 in AGENTS.md.

  • ct-agents v0.4.0: the release PR is opened, closed, given all its labels, then reopened (one run per workflow).
  • ct-conventions v0.9.0: adds SGN1–SGN6 (rules/signs.md), one sign convention for the multipliers, the costate and the duals.

🤖 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
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@ocots ocots changed the title chore: pin ct-agents v0.4.0 chore: pin ct-agents v0.4.0 and ct-conventions v0.9.0 Oct 24, 2026
@ocots
ocots merged commit 3f0b9b4 into main Oct 24, 2026
9 checks passed
@ocots
ocots deleted the chore/pin-ct-agents-v0.4.0 branch October 24, 2026 09:29
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.

2 participants