ci, gha: Add Windows jobs based on Linux image #25
ci.yml
on: pull_request
Build MinGW/MSVC Debian image
9s
SageMath prover
1m 9s
Matrix: x86_64: Windows, VS 2022