Skip to content
CI

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

Sign in to view logs

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

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

Triggered via pull request August 14, 2023 13:30
@hebastohebasto
opened #1399
hebasto:230814-gha-sage
Status Success
Total duration 8m 10s
Artifacts –

ci.yml

on: pull_request
SageMath prover
1m 1s
SageMath prover
Matrix: x86_64: Windows, VS 2022
Fit to window
Zoom out
Zoom in