CI: Ensure code coverage reporting will work in February 2022 and beyond - Githubissues

gap-packages / primgrp

GAP Primitive Groups Library

https://gap-packages.github.io/primgrp/

GNU General Public License v2.0

2 stars 5 forks source link

CI: Ensure code coverage reporting will work in February 2022 and beyond #45

Closed fingolfin closed 2 years ago

fingolfin commented 2 years ago

See https://github.com/gap-actions/process-coverage/issues/10