Proof PR

`refill_budget_check_ccorres` #3178

Sign in to view logs

Triggered via pull request February 19, 2025 02:59

michaelmcinerney

synchronize #821

Status Success

Total duration 11m 30s

Artifacts 2

proof.yml

on: pull_request_target

Matrix: MCS

Artifacts

Produced during runtime

Name	Size
logs-ARM	103 MB
logs-RISCV64	156 MB