Skip to content

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

Merged
grahamknockillaree merged 2 commits intomasterfrom
mh/ci
Mar 24, 2026
Merged

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

Commits

Commits on Mar 16, 2026