search

gap-packages / grape

GRaph Algorithms using PErmutation groups
https://gap-packages.github.io/grape/
5 stars 7 forks source link

Improve the names of GitHub Actions jobs #24

Closed wilfwilson closed 3 years ago

wilfwilson commented 3 years ago

(Sorry for the multiple PRs @lhsoicher! This will probably my last one on GitHub Actions for now.)

This changes the names of the individual jobs in GitHub Actions to:

64-bit / nauty / GAP master
64-bit / nauty / GAP stable-4.11
64-bit / nauty / GAP stable-4.10
64-bit / nauty / GAP stable-4.9
32-bit / nauty / GAP master
64-bit / bliss / GAP master

instead of

64-bit / GAP master / nauty=true
64-bit / GAP stable-4.11 / nauty=true
64-bit / GAP stable-4.10 / nauty=true
64-bit / GAP stable-4.9 / nauty=true
32-bit / GAP master / nauty=true
64-bit / GAP master / nauty=false

(In particular, note the plain use of 'nauty' and 'bliss' rather than 'nauty=true/false').

This is what you see in the "Actions" tab of the repository, such as https://github.com/gap-packages/grape/actions/runs/571152275. I think this is nicer.

codecov[bot] commented 3 years ago

Codecov Report

Merging #24 (61f0192) into master (e0984fc) will not change coverage. The diff coverage is n/a.

@@           Coverage Diff           @@
##           master      #24   +/-   ##
=======================================
  Coverage   79.82%   79.82%           
=======================================
  Files           2        2           
  Lines        3821     3821           
=======================================
  Hits         3050     3050           
  Misses        771      771
lhsoicher commented 3 years ago

Thanks @wilfwilson. I will merge this PR. (In due course (in GRAPE 4.9?) there may be the option to use Traces for simple graphs. It can be useful to have such options, but makes package maintenance more difficult.)