Skip to content

chore: pin ct-conventions v0.8.0 - #373

Merged
ocots merged 2 commits into
mainfrom
chore/pin-ct-conventions-v0.8.0
Oct 21, 2026
Merged

ocots merged 2 commits into
mainfrom
chore/pin-ct-conventions-v0.8.0

Conversation

@ocots

@ocots ocots commented Oct 21, 2026

Copy link
Copy Markdown
Member

Bumps the pinned ct-conventions from v0.7.1 to v0.8.0 in AGENTS.md. The release adds SITE18 (docs/make.jl appends the repo root to LOAD_PATH, never prepends it); docs/make.jl here already complies.

🤖 Generated with Claude Code

Adds SITE18 (docs/make.jl appends the repo root to LOAD_PATH); already satisfied here.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
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 1ff7902 into main Oct 21, 2026
11 checks passed
@ocots
ocots deleted the chore/pin-ct-conventions-v0.8.0 branch October 21, 2026 08:52
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