Skip to content

test: skip failing MiniZinc tests#305

Merged
gdalle merged 1 commit intomainfrom
gd/deact
Feb 27, 2026
Merged

test: skip failing MiniZinc tests#305
gdalle merged 1 commit intomainfrom
gd/deact

Commits

Commits on Feb 27, 2026