Use julia-downgrade-compat@2#227

Merged

JoshuaLampert merged 22 commits into

mainfrom

Mar 2, 2026

Commits on Jul 26, 2025

use julia-downgrade-compat@2
JoshuaLampert
committed

Commits on Jul 27, 2025

set allow_reresolve to false
JoshuaLampert
committed

Commits on Dec 2, 2025

Commits on Feb 23, 2026

Commits on Feb 24, 2026

Merge branch 'main' into downgrade-v2
ranocha
authored

Commits on Feb 28, 2026

Merge branch 'main' into downgrade-v2
ranocha
authored

Commits on Mar 2, 2026