homalg-project / CddInterface

Gap Interface to Cdd

https://homalg-project.github.io/CddInterface

Other

1 stars 5 forks source link

Do not use `shasum` before checking that its available #24

Closed zickgraf closed 3 years ago

zickgraf commented 3 years ago

See https://github.com/gap-packages/NormalizInterface/pull/100

codecov[bot] commented 3 years ago

Codecov Report

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

@@           Coverage Diff           @@
##           master      #24   +/-   ##
=======================================
  Coverage   89.88%   89.88%           
=======================================
  Files           5        5           
  Lines         900      900           
=======================================
  Hits          809      809           
  Misses         91       91

zickgraf commented 3 years ago

@kamalsaleh I will merge this without your review because this breaks our CI and the change is very simple. Should this cause any problems, you can of course revert the change!