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