Skip to content

chore: prepare CTBase v0.30.12 release - #625

Merged
ocots merged 1 commit into
mainfrom
release/v0.30.12
Oct 19, 2026
Merged

ocots merged 1 commit into
mainfrom
release/v0.30.12

Conversation

@ocots

@ocots ocots commented Oct 19, 2026

Copy link
Copy Markdown
Member

Release of CTBase v0.30.12 (stable): the fix of DevTools.test_extensions_quality on Union aliases (#620), the ct-conventions v0.7.0 pin and the release workflows (#623).
Project.toml, CHANGELOG.md (the [Unreleased] entries under ## [0.30.12], with #620 added) and BREAKING.md (a non-breaking note) only; the release gate passed locally.

Refs #624

🤖 Generated with Claude Code

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@ocots ocots added run ci github-runner Trigger the CI workflow on GitHub-hosted runners run breakage Trigger the Breakage workflow on this PR run documentation Trigger the Documentation workflow on this PR documentation push preview With 'run documentation': also deploy a preview of the docs labels Oct 19, 2026
@ocots ocots mentioned this pull request Oct 19, 2026
7 tasks
@github-actions

Copy link
Copy Markdown
Contributor

Breakage — packages

Tested commit: 166d1316937d847ff236af2b15590bbc7dd78602. Each package is tested at its default branch (Latest) and its newest tag (Stable).

Package Check Latest Stable
CTDirect test ✅ main, compat v0.30.12 ✅ v1.1.8-beta, compat v0.30.12
CTFlows test ✅ main, compat v0.30.12 ✅ v0.18.1, compat v0.30.12
CTModels test ✅ main, compat v0.30.12 ✅ v0.19.8, compat v0.30.12
CTParser test ❌ main, compat v0.28.9-beta ❌ v0.9.5-beta, compat v0.30.12
CTSolvers test ✅ main, compat v0.30.12 ✅ v0.6.1, compat v0.30.12
OptimalControl test ❌ main, compat v0.30.12 ❌ v2.2.1-beta, compat v0.30.12

Release check (REL1, stable column against the base):

  • ℹ️ CTParser (test) already fails on the base: says nothing about the release
  • ℹ️ OptimalControl (test) already fails on the base: says nothing about the release
  • ✅ no downstream release broken by 0.30.11 → 0.30.12

@ocots
ocots merged commit 9d0b510 into main Oct 19, 2026
45 of 48 checks passed
@ocots
ocots deleted the release/v0.30.12 branch October 19, 2026 12:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation push preview With 'run documentation': also deploy a preview of the docs run breakage Trigger the Breakage workflow on this PR run ci github-runner Trigger the CI workflow on GitHub-hosted runners run documentation Trigger the Documentation workflow on this PR

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant