CI: upload code coverage for Windows

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

And always upload coverage data on the normal job too.

(Because the kernel coverage is currently always being collected, so should always be uploaded).