gap-packages / grape

GRaph Algorithms using PErmutation groups

https://gap-packages.github.io/grape/

5 stars 7 forks source link

Delete Travis integration #25

Closed wilfwilson closed 3 years ago

wilfwilson commented 3 years ago

This gets rid of the .travis.yml file, and thereby the integration with Travis. Since Travis is non-functional 95% of the time, and since it has been superseded by the GitHub Actions integration, I think it's probably a good idea to get rid of it entirely so we can forget about it totally.

Feel free to close this PR if you prefer to keep the Travis integration.

codecov[bot] commented 3 years ago

Codecov Report

Merging #25 (ca1b335) into master (e0984fc) will decrease coverage by 2.81%. The diff coverage is n/a.

@@            Coverage Diff             @@
##           master      #25      +/-   ##
==========================================
- Coverage   79.82%   77.00%   -2.82%     
==========================================
  Files           2        2              
  Lines        3821     3771      -50     
==========================================
- Hits         3050     2904     -146     
- Misses        771      867      +96

Impacted Files	Coverage Δ
lib/grape.g	`76.65% <0.00%> (-2.90%)`	:arrow_down: