ci, gha: Ensure only a single workflow processes github.ref
at a time
#52
ci.yml
on: pull_request
SageMath prover
1m 7s
Matrix: x86_64: macOS Ventura
Matrix: x86_64: Windows, VS 2022