Require Aqua 0.8.14+ so downgrade CI works on Julia 1.12 - #17
Merged
Conversation
The downgrade job resolves minimal versions for the whole workspace, so it tests with Aqua 0.8.0, which predates Julia 1.12: its Piracy check reads the removed Core.TypeName.mt field and errors, and its persistent-tasks check fails. Aqua 0.8.14 is the earliest release adapted to the 1.12 method-table changes; the full test suite passes with it under the downgraded-deps resolution on Julia 1.12.7. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_012KLPsCxbd3nAyryV2QETpM
cossio
enabled auto-merge
August 24, 2026 22:10
Codecov Report✅ All modified and coverable lines are covered by tests. Additional details and impacted files@@ Coverage Diff @@
## main #17 +/- ##
=========================================
Coverage 100.00% 100.00%
=========================================
Files 2 2
Lines 74 74
=========================================
Hits 74 74 ☔ View full report in Codecov by Harness. 🚀 New features to boost your workflow:
|
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Problem
The CI
Downgrade compatjob has been red onmainsince the switch to the[workspace]layout (runs 82–86). The downgrade action (v2.7, Resolver.jl--min=@deps) now computes minimal versions for the whole workspace, so the test suite runs with Aqua v0.8.0 — the exact lower bound of the previousAqua = "0.8"compat. Aqua 0.8.0 predates Julia 1.12 and breaks on it:FieldError: type Core.TypeName has no field mt(the field was removed by Julia 1.12's method-table changes), andThe regular test job passes with Aqua v0.8.16 on the same Julia 1.12.7, confirming the lower bound is the sole culprit.
Fix
Raise the Aqua lower bound in
test/Project.tomlto 0.8.14, the earliest release adapted to the Julia 1.12 method-table changes per Aqua's changelog.Verification
Reproduced the downgrade job locally on Julia 1.12.7 with all deps pinned to the versions the CI run resolved (LogExpFunctions 0.3.26, ChainRulesCore/ChainRulesTestUtils 1.0.0, JLArrays 0.3.0, StaticArrays 1.5.17, ExplicitImports 1.15.0) and Aqua at 0.8.14: the full suite passes, including all 11 aqua tests.
🤖 Generated with Claude Code
https://claude.ai/code/session_012KLPsCxbd3nAyryV2QETpM
Generated by Claude Code