Use `FORCE_QUIT_GAP` instead of `ForceQuitGap` with GAP 4.11

peal / vole

A GAP package for backtrack search in permutation groups with graphs

https://peal.github.io/vole

Mozilla Public License 2.0

8 stars 2 forks source link

Use `FORCE_QUIT_GAP` instead of `ForceQuitGap` with GAP 4.11 #72

Closed wilfwilson closed 2 years ago

wilfwilson commented 2 years ago

ForceQuitGap only becomes available with GAP 4.12 (which is not yet released).

This resolves #71.

wilfwilson commented 2 years ago

The CI is not passing the composite action codecov/codecov-action@v2 is not terminating... and I don't know why. But that's irrelevant to the change in this PR.