Prove `cancelBadgedSends_ccorres` #3026

Sign in to view logs

Triggered via pull request September 13, 2024 11:56

michaelmcinerney

synchronize #816

Status Success

Total duration 2h 54m 12s

Artifacts 2

proof.yml

on: pull_request_target

Matrix: MCS

Artifacts

Produced during runtime

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