Introduce versioning for proofs #1503

Sign in to view logs

Triggered via pull request October 3, 2024 07:58

synchronize #333

proof_version

Status Success

Total duration 41m 34s

Artifacts –

main.yml

on: pull_request

Matrix: Build, lint, test