search

homalg-project / CddInterface

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

README.md: fix typo: opinion -> option #32

Closed fingolfin closed 2 years ago

fingolfin commented 2 years ago

Also line wrap some test, and format email address so that renders right in more Markdown processors.

codecov[bot] commented 2 years ago

Codecov Report

Merging #32 (d75ab21) into master (0b33a2a) will decrease coverage by 0.50%. The diff coverage is n/a.

@@            Coverage Diff             @@
##           master      #32      +/-   ##
==========================================
- Coverage   89.59%   89.09%   -0.51%     
==========================================
  Files           5        5              
  Lines         913      871      -42     
  Branches       23       23              
==========================================
- Hits          818      776      -42     
  Misses         91       91              
  Partials        4        4
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: