search

gap-packages / NautyTracesInterface

Interface from GAP to Nauty
https://gap-packages.github.io/NautyTracesInterface/
Other
6 stars 6 forks source link

install.sh: set -e to abort on error #24

Closed fingolfin closed 5 years ago

codecov[bot] commented 5 years ago

Codecov Report

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

@@           Coverage Diff           @@
##           master      #24   +/-   ##
=======================================
  Coverage   53.83%   53.83%           
=======================================
  Files           7        7           
  Lines         600      600           
=======================================
  Hits          323      323           
  Misses        277      277