Commit Graph

4 Commits

Author SHA1 Message Date
Hennadii Stepanov
3545dc2b9b ci, gha: Run all MSVC tests on Windows natively 2023-08-17 10:13:28 +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