Update CI: use newest `gap-actions` versions

gap-packages / io

GAP package IO to do input and output

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

Other

14 stars 14 forks source link

Closed wilfwilson closed 2 years ago

wilfwilson commented 2 years ago

Use the newest version of the gap-actions Composite Actions.

Also add a workflow_dispatch trigger.

Also set a shorter length of time for the built manual to be kept.