5 Commits

Author SHA1 Message Date
Tim Ruffing
c2f6435802 ci: Add comment about switching macOS to M1 on GHA later 2023-08-17 16:03:54 +02:00
Hennadii Stepanov
8e54a346d2
ci, gha: Run "x86_64: macOS Ventura" job on GitHub Actions 2023-08-16 16:45:21 +01:00
Hennadii Stepanov
c8d9914fb1
ci, gha: Run "SageMath prover" job on GitHub Actions 2023-08-14 14:28:53 +01:00
Hennadii Stepanov
f1774e5ec4
ci, gha: Make MSVC job presentation more explicit 2023-08-09 15:08:24 +01:00
Hennadii Stepanov
a2f7ccdecc
ci: Run "Windows (VS 2022)" job on GitHub Actions 2023-08-09 12:54:18 +01:00