search

gap-packages / io

GAP package IO to do input and output
https://gap-packages.github.io/io/
Other
14 stars 14 forks source link

Switch CI to use GitHub Actions #95

Closed fingolfin closed 3 years ago

fingolfin commented 3 years ago

This heavily borrows from and closes #88 (CC @ssiccha)

codecov[bot] commented 3 years ago

Codecov Report

Merging #95 (2d9926b) into master (eb10e02) will increase coverage by 0.65%. The diff coverage is n/a.

@@            Coverage Diff             @@
##           master      #95      +/-   ##
==========================================
+ Coverage   60.42%   61.08%   +0.65%     
==========================================
  Files          15       15              
  Lines        4803     4887      +84     
==========================================
+ Hits         2902     2985      +83     
- Misses       1901     1902       +1
Impacted Files Coverage Δ
src/io.c 68.23% <0.00%> (+2.12%) :arrow_up: