Skip to content

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

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

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

Update CI setup to latest

e11a1b1
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Mar 16, 2026 in 1s

Coverage not affected when comparing 82d94b7...e11a1b1

View this Pull Request on Codecov

Coverage not affected when comparing 82d94b7...e11a1b1

View more details on Codecov