Introduce versioning for proofs #1434

Sign in to view logs

Triggered via pull request August 20, 2024 15:14

opened #321

proof_versions

Status Success

Total duration 28m 46s

Artifacts –

main.yml

on: pull_request

Matrix: Build, lint, test