Skip to content

Re-enable downgrade CI with genuine test-at-floor (allow_reresolve: false)#211

Merged
ChrisRackauckas merged 1 commit into
SciML:mainfrom
ChrisRackauckas-Claude:downgrade-ci-reenable
Jun 4, 2026
Merged

Re-enable downgrade CI with genuine test-at-floor (allow_reresolve: false)#211
ChrisRackauckas merged 1 commit into
SciML:mainfrom
ChrisRackauckas-Claude:downgrade-ci-reenable

Conversation

@ChrisRackauckas-Claude

Copy link
Copy Markdown
Contributor

Please ignore until reviewed by @ChrisRackauckas. Draft.

Re-enables the Downgrade workflow with allow_reresolve: false (genuine test-at-floor: tests run at the minimal/downgraded versions). Raises declared-dep [compat] lower bounds: ADTypes = "1.14.0";DiffEqBase = "6.176.0, 7.0";PrecompileTools = "1.2.1";SteadyStateDiffEq = "2.5.0";ADTypes = "1.14.0";DiffEqBase = "6.176.0, 7.0";PrecompileTools = "1.2.1";SteadyStateDiffEq = "2.5.0";

Verified locally on Julia 1.10 in a clean depot + fresh registry: downgrade resolve + Pkg.test(allow_reresolve=false) pass at the floor with 0 re-resolve. CI is the authoritative gate.

🤖 Generated with Claude Code

…alse)

Raise minimal declared-dep compat floors so Pkg.test(allow_reresolve=false)
passes at the floor with 0 re-resolve on Julia 1.10:

- ADTypes: 1 -> 1.14.0 (OrdinaryDiffEqDifferentiation 1.5+ in the
  forced 6.91-6.101 band requires ADTypes 1.14)
- DiffEqBase: 6.119 -> 6.176.0 (OrdinaryDiffEq subpackages Verner/Core/
  Extrapolation/BDF/Differentiation at the forced band require >=6.176)
- PrecompileTools: 1 -> 1.2.1 (OrdinaryDiffEqRosenbrock 1.5-1.14 require
  PrecompileTools 1.2.1; 1.2.0 forced Rosenbrock >=1.15)
- SteadyStateDiffEq: 2.3 -> 2.5.0 (2.4.x imports
  AbstractNonlinearTerminationMode from DiffEqBase, which 6.176 removed;
  2.5.0 imports it from NonlinearSolveBase)

Verified locally: Pkg.test(allow_reresolve=false) -> tests passed,
0 "Could not use exact versions", Utils 13/13 + Layers 1538/1538.

Co-Authored-By: Chris Rackauckas <accounts@chrisrackauckas.com>
@ChrisRackauckas ChrisRackauckas marked this pull request as ready for review June 4, 2026 14:28
@ChrisRackauckas ChrisRackauckas merged commit 7009e03 into SciML:main Jun 4, 2026
5 of 10 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants