Skip to content

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

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

Re-enable downgrade CI with genuine test-at-floor (allow_reresolve: false)#72
ChrisRackauckas merged 1 commit into
SciML:masterfrom
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: DiffEqBase = "6.133.1, 7";DiffEqNoiseProcess = "5.13.0";RandomNumbers = "1.5.3";StochasticDiffEq = "6.65.0";DiffEqBase = "6.133.1, 7";DiffEqNoiseProcess = "5.13.0";RandomNumbers = "1.5.3";StochasticDiffEq = "6.65.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 downgrade floor:
- DiffEqBase 6, 7 -> 6.133.1, 7 (Stats becomes SciMLBase.DEStats alias, providing
  Base.merge(::DEStats,::DEStats) needed by ensemble stat reduction; also required
  by StochasticDiffEq 6.65)
- DiffEqNoiseProcess 5 -> 5.13.0 (required by StochasticDiffEq 6.65)
- RandomNumbers 1 -> 1.5.3 (required by StochasticDiffEq 6.65)
- StochasticDiffEq 6.28 -> 6.65.0 (first version compatible with FillArrays 1.x
  and Adapt 4 pinned by the rest of the floor environment)

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 c945560 into SciML:master Jun 4, 2026
6 of 9 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