Introduce versioning for proofs #682

Triggered via pull request October 3, 2024 07:58

synchronize #333

proof_version

Status Success

Total duration 44m 22s

Artifacts 1

coverage.yml

on: pull_request

Produced during runtime

Name	Size
coverage-report	223 KB