search

homalg-project / CddInterface

Gap Interface to Cdd
https://homalg-project.github.io/CddInterface
Other
1 stars 5 forks source link

updated .gitignore #21

Closed mohamed-barakat closed 4 years ago

codecov-commenter commented 4 years ago

Codecov Report

Merging #21 into master will decrease coverage by 0.49%. The diff coverage is n/a.

@@            Coverage Diff             @@
##           master      #21      +/-   ##
==========================================
- Coverage   89.86%   89.36%   -0.50%     
==========================================
  Files           5        5              
  Lines         898      856      -42     
==========================================
- Hits          807      765      -42     
  Misses         91       91
Impacted Files Coverage Δ
gap/polyhedra.gi 88.18% <0.00%> (-1.03%) :arrow_down:
gap/tools.gi 82.24% <0.00%> (-0.72%) :arrow_down: