Bump sublibrary Corleone compat 0.0.3 -> 0.0.4 to match released parent#101
Merged
ChrisRackauckas merged 1 commit intoJun 24, 2026
Conversation
PR SciML#100 released parent Corleone v0.0.4 but did not update the sublibraries' Corleone [compat], which still pinned "0.0.3". For pre-1.0 versions the caret range "0.0.3" means [0.0.3, 0.0.4), so the path-sourced parent at 0.0.4 has an empty intersection with that compat. The downgrade-sublibraries lanes (lib/CorleoneOED, lib/OptimalControlBenchmarks) fail during the test-sandbox resolve with: ERROR: LoadError: empty intersection between Corleone@0.0.4 and project compatibility 0.0.3 On Julia 1.10 (lts) [sources] is ignored and the parent is develop'd by path at 0.0.4, so the conflict is unavoidable until compat admits 0.0.4. Also bumps the matching Corleone compat in the QA and examples test sub-projects (which path- source the parent) so the QA/Examples lanes don't inherit the same wall. Co-Authored-By: Chris Rackauckas <accounts@chrisrackauckas.com> Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
This was referenced Jun 25, 2026
ChrisRackauckas
added a commit
that referenced
this pull request
Jun 28, 2026
… parent (#106) PRs #104/#105 released parent Corleone v0.0.5 but did not update the sublibraries' / test sub-projects' Corleone [compat], which still pinned "0.0.4". For pre-1.0 versions the caret range "0.0.4" means [0.0.4, 0.0.5), so the path-sourced parent at 0.0.5 ([sources] Corleone = {path = "../.."}) has an empty intersection with that compat. The downgrade-sublibraries lanes (lib/CorleoneOED, lib/OptimalControlBenchmarks) — and the regular Sublibrary CI / QA lanes — fail during the test-sandbox resolve with: ERROR: LoadError: empty intersection between Corleone@0.0.5 and project compatibility 0.0.4 The downgrade root (main) lane is unaffected because the root package does not depend on itself. This mirrors PR #101 (the same 0.0.3 -> 0.0.4 bump after the v0.0.4 parent release). Also bumps the now-stale CorleoneOED self-compat (0.0.4 -> 0.0.5) in lib/CorleoneOED/test/qa/Project.toml, since CorleoneOED was released as v0.0.5 (#105) and is path-sourced there. OptimalControlBenchmarks stays at 0.0.3 (matches its current version). Verified locally on Julia 1.10.11 (lts): Pkg.develop of the path-sourced parent throws the empty-intersection error on the unmodified tree and succeeds (Corleone v0.0.5 accepted) with this change. Ignore until reviewed by @ChrisRackauckas. Co-authored-by: ChrisRackauckas-Claude <accounts@chrisrackauckas.com>
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
downgrade-sublibrariesmaster lanes forlib/CorleoneOEDandlib/OptimalControlBenchmarksare red. Both fail during the test-sandbox resolve (before any test code runs) with:Root cause
PR #100 ("Release v0.0.4") bumped the parent
Corleoneversionfrom 0.0.3 to 0.0.4 but did not update the sublibraries'Corleone[compat], which still pinned"0.0.3". For pre-1.0 versions the caret range"0.0.3"means[0.0.3, 0.0.4), which excludes 0.0.4. The sublibraries consume the parent via[sources.Corleone] path = "../..", so the path-sourced parent resolves at 0.0.4 and has an empty intersection with the compat ceiling.On Julia 1.10 (lts, the downgrade lane's channel) the
[sources]table is ignored and the parent isdevelop'd by path at 0.0.4, so the conflict is unavoidable until compat admits 0.0.4.Fix
Bump
Corleone = "0.0.4"in:lib/CorleoneOED/Project.tomllib/OptimalControlBenchmarks/Project.tomland, to keep the QA/Examples lanes from inheriting the same wall, in the path-sourcing test sub-projects:
lib/CorleoneOED/test/qa/Project.tomllib/OptimalControlBenchmarks/test/qa/Project.tomltest/qa/Project.tomltest/examples/Project.tomlPure
[compat]change; no.jltouched.Verification
Reproduced the exact
empty intersectionfrom the failing run (job 82863923402 / 82863923404). Verified locally on Julia 1.10 that with the bumped compat the sublibrary test sandbox resolves and the Core group runs (OptimalControlBenchmarks Core is a trivial@test 1 == 1that only depends on the sandbox resolving).Ignore until reviewed by @ChrisRackauckas.
🤖 Generated with Claude Code