Skip to content

chore: pin ct-conventions v0.12.0, MOD8 for a user-facing package - #450

Merged
ocots merged 1 commit into
mainfrom
chore/pin-ct-conventions-0.12.0
Nov 11, 2026
Merged

ocots merged 1 commit into
mainfrom
chore/pin-ct-conventions-0.12.0

Conversation

@ocots

@ocots ocots commented Nov 11, 2026

Copy link
Copy Markdown
Member

Refs #449 (T1, T8).

  • AGENTS.md: the pin goes from ct-conventions v0.11.0 to v0.12.0 (version line and clone command).
  • AGENTS.md, Key Conventions: "No top-level exports" is replaced by the MOD8 rule for a user-facing package, which v0.12.0 now states (rules(MOD8): user-facing packages export their user API ct-conventions#56).
  • test/suite/core/test_modules.jl: the comment no longer says "as adapted", the rule now covers this case.

Documentation and comments only. The exports themselves are unchanged.

🤖 Generated with Claude Code

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@ocots
ocots merged commit 03334c2 into main Nov 11, 2026
6 checks passed
@ocots
ocots deleted the chore/pin-ct-conventions-0.12.0 branch November 11, 2026 16:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant