Skip to content

fix(ci): update CBMC proofs' Makefile.common #116

fix(ci): update CBMC proofs' Makefile.common

fix(ci): update CBMC proofs' Makefile.common #116

Triggered via pull request August 26, 2024 16:27
Status Success
Total duration 32m 25s
Artifacts 1

regression_ci.yml

on: pull_request

Artifacts

Produced during runtime
Name Size
regression_artifacts Expired
1.34 MB