homalg-project / CddInterface

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

README.md: fix Travis links #12

Closed fingolfin closed 5 years ago

codecov-io commented 5 years ago

Codecov Report

Merging #12 into master will not change coverage. The diff coverage is n/a.

@@           Coverage Diff           @@
##           master      #12   +/-   ##
=======================================
  Coverage   87.39%   87.39%           
=======================================
  Files           5        5           
  Lines         960      960           
=======================================
  Hits          839      839           
  Misses        121      121