Update CI setup to latest, fix warnings when polymaking is not loaded#153
Merged
grahamknockillaree merged 2 commits intomasterfrom Mar 24, 2026
Merged
Update CI setup to latest, fix warnings when polymaking is not loaded#153grahamknockillaree merged 2 commits intomasterfrom
polymaking is not loaded#153grahamknockillaree merged 2 commits intomasterfrom