CI: test with GAP 4.13; test with mininimal set of packages loaded #70
Codecov / codecov/patch
succeeded
Mar 23, 2024 in 1s
Coverage not affected when comparing 30926ff...e61b00b
View this Pull Request on Codecov
Coverage not affected when comparing 30926ff...e61b00b
Loading