Closed wilfwilson closed 3 years ago
Merging #96 (0bb1a4a) into master (7f6436e) will increase coverage by
0.04%
. The diff coverage isn/a
.:exclamation: Current head 0bb1a4a differs from pull request most recent head 2938136. Consider uploading reports for the commit 2938136 to get more accurate results
@@ Coverage Diff @@
## master #96 +/- ##
==========================================
+ Coverage 61.15% 61.19% +0.04%
==========================================
Files 15 15
Lines 4891 4889 -2
==========================================
+ Hits 2991 2992 +1
+ Misses 1900 1897 -3
Impacted Files | Coverage Δ | |
---|---|---|
src/io.c | 68.67% <0.00%> (+0.18%) |
:arrow_up: |
I am going to merge this so that it tests my next PR for configure.ac
Currently this fails (see https://github.com/gap-system/gap/issues/4374) but it may be useful nonetheless.