Skip to content

Update CI setup to latest, fix warnings when polymaking is not loaded#153

Open
fingolfin wants to merge 2 commits intomasterfrom
mh/ci
Open

Update CI setup to latest, fix warnings when polymaking is not loaded#153
fingolfin wants to merge 2 commits intomasterfrom
mh/ci

Commits

Commits on Mar 16, 2026