basic CI

MPS: verify CN proofs in CI #18

Sign in to view logs

Triggered via push May 29, 2024 19:06

48-verify-mps-in-ci

Status Success

Total duration 30m 27s

Billable time 34m

Artifacts –

main.yml

on: push