Skip to content

Update CI to use setup-gap@v3 - #56

Merged
fingolfin merged 3 commits into
masterfrom
codex/update-ci
Jul 11, 2026
Merged

Update CI to use setup-gap@v3#56
fingolfin merged 3 commits into
masterfrom
codex/update-ci

require GAP 4.13

0c4d3da
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Jul 11, 2026 in 1s

53.25% (-0.01%) compared to 8b05709, passed because coverage increased by 0% when compared to adjusted base (53.25%)

View this Pull Request on Codecov

53.25% (-0.01%) compared to 8b05709, passed because coverage increased by 0% when compared to adjusted base (53.25%)

Details

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 53.25%. Comparing base (8b05709) to head (0c4d3da).

Additional details and impacted files
@@            Coverage Diff             @@
##           master      #56      +/-   ##
==========================================
- Coverage   53.26%   53.25%   -0.01%     
==========================================
  Files          34       34              
  Lines       17042    17041       -1     
==========================================
- Hits         9077     9075       -2     
- Misses       7965     7966       +1     

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.