Prove `cancelBadgedSends_ccorres` #3024

Sign in to view logs

Triggered via pull request September 11, 2024 13:57

michaelmcinerney

synchronize #816

Status Success

Total duration 1h 19m 12s

Artifacts 2

proof.yml

on: pull_request_target

Matrix: MCS

Artifacts

Produced during runtime

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