Skip to content

Downgrade CI: switch to allow_reresolve=false (genuine test-at-floor)#534

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

Downgrade CI: switch to allow_reresolve=false (genuine test-at-floor)#534
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. Follow-up to #533.

#533 re-enabled the Downgrade workflow with allow_reresolve: true. This switches to allow_reresolve: false so the suite genuinely runs at the minimal (downgraded) dependency versions, and drops the now-infeasible DataStructures 0.18 compat segment:

  • DataStructures "0.18, 0.19" -> "0.19" — at the floor DataStructures resolved to 0.18.13, but the test target (ModelingToolkit 11 → SymbolicUtils → MultivariatePolynomials 0.5.12+) requires DataStructures 0.19; pinned at 0.18.13 nothing satisfies both → Unsatisfiable.

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

🤖 Generated with Claude Code

Rebased onto current master (now using the centralized SciML downgrade workflow).
Switches allow-reresolve to false, and drops the now-infeasible DataStructures
0.18 compat segment (0.18, 0.19 -> 0.19): at the floor DataStructures resolved to
0.18.13 but the test target (ModelingToolkit 11 -> MultivariatePolynomials 0.5.12+)
requires 0.19. Verified at the floor with allow_reresolve=false, 0 re-resolve.

Co-Authored-By: Chris Rackauckas <accounts@chrisrackauckas.com>
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
@ChrisRackauckas ChrisRackauckas marked this pull request as ready for review June 4, 2026 13:21
@ChrisRackauckas ChrisRackauckas merged commit c3161c0 into SciML:master Jun 4, 2026
10 of 11 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