CI: test with GAP 4.13; test with mininimal set of packages loaded #276
Codecov / codecov/patch
succeeded
Mar 23, 2024 in 0s
Coverage not affected when comparing be9f360...9c8c3de
View this Pull Request on Codecov
Coverage not affected when comparing be9f360...9c8c3de
Loading