Reinstate uploading code coverage in the CI

gap-packages / io

GAP package IO to do input and output

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

Other

14 stars 14 forks source link

Closed wilfwilson closed 2 years ago

wilfwilson commented 2 years ago

It seems that the code coverage for the src subdirectory is not working. Does anyone have any ideas? Perhaps it's the new codecov@v2 uploader?