Skip to content

Update CI to use setup-gap@v3, add missing dependencies - #54

Merged
fingolfin merged 4 commits into
masterfrom
codex/update-ci
Jul 29, 2026
Merged

Update CI to use setup-gap@v3, add missing dependencies#54
fingolfin merged 4 commits into
masterfrom
codex/update-ci

Turn NautyDense into a 'global function'

889c2cf
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Jul 15, 2026 in 1s

100.00% of diff hit (target 74.38%)

View this Pull Request on Codecov

100.00% of diff hit (target 74.38%)

View more details on Codecov