ci, gha: Run “SageMath prover” job on GitHub Actions #1399

1. 
   hebasto commented at 1:30 pm on August 14, 2023: member

   Solves one item in #1392 partially.

   Requested in #1398 (comment).

2. ci, gha: Run "SageMath prover" job on GitHub Actions c8d9914fb1
3. Revert "ci: Run sage prover on CI"

   This reverts commit d8d54859ed138a8ed9a8486d847155211c9f4a7d.

   8408dfdc4c
4. hebasto cross-referenced this on Aug 14, 2023 from issue ci, gha: Add Windows jobs based on Linux image by hebasto
5. real-or-random approved
6. 
   real-or-random commented at 1:39 pm on August 14, 2023: contributor

   utACK 8408dfdc4cfcc5cf87ac0a7d229f8a1c1d63128a

   Let’s also wait and see what cirrus says. (I mean, we just removed a task, so nothing should be broken but you never know…)

7. 
   jonasnick commented at 11:49 am on August 15, 2023: contributor

   ACK 8408dfdc4cfcc5cf87ac0a7d229f8a1c1d63128a
8. jonasnick merged this on Aug 15, 2023
9. jonasnick closed this on Aug 15, 2023

   ---

10. real-or-random added the label ci on Aug 15, 2023
11. hebasto deleted the branch on Aug 15, 2023
12. real-or-random cross-referenced this on Aug 15, 2023 from issue ci: Future of CI after Cirrus pricing change by real-or-random
13. hebasto cross-referenced this on Aug 15, 2023 from issue ci, gha: Add "x86_64: Linux (Debian stable)" GitHub Actions job by hebasto

Contributors
hebasto real-or-random jonasnick

Labels
ci