Commit Graph

3 Commits

Author SHA1 Message Date
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