ci, gha: Run "SageMath prover" job on GitHub Actions #20

Sign in to view logs

Triggered via pull request August 14, 2023 13:30

hebasto

opened #1399

hebasto:230814-gha-sage

Status Success

Total duration 8m 10s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: pull_request

SageMath prover

Matrix: x86_64: Windows, VS 2022