Update for recent gaplint

semigroups / Semigroups

The GAP package Semigroups

https://semigroups.github.io/Semigroups/

Other

23 stars 36 forks source link

Update for recent gaplint #1037

Closed james-d-mitchell closed 2 months ago

james-d-mitchell commented 2 months ago

No idea why the CI is failing when it passed before, and nothing in this PR changes anything related to the failure. Seems to be that in GAP 4.12 is Digraphs 1.6.1 but Semigroups requires Digraphs 1.6.2.