Skip to content

CompatHelper: bump compat for DiffEqDevTools in [weakdeps] to 4, (keep existing compat)#417

Closed
github-actions[bot] wants to merge 1 commit into
mainfrom
compathelper/new_version/2026-04-27-03-29-36-871-03047208252
Closed

CompatHelper: bump compat for DiffEqDevTools in [weakdeps] to 4, (keep existing compat)#417
github-actions[bot] wants to merge 1 commit into
mainfrom
compathelper/new_version/2026-04-27-03-29-36-871-03047208252

Commits

Commits on Apr 27, 2026