rt crefine: prove cancelBadgedSends_ccorres #987

Sign in to view logs

Re-run triggered October 21, 2024 06:37

lsf37

rt

Status Success

Total duration 2h 46m 32s

Artifacts 4

proof-deploy.yml

on: push

Freeze MCS Code

Matrix: Rebase platform branches

Matrix: Proof

Matrix: MCS Proof

Deploy manifest

Deploy MCS manifest

Artifacts

Produced during runtime

Name	Size
mcs-logs--ARM-	162 MB
mcs-logs--RISCV64-	215 MB
mcs-logs-1-ARM-	103 MB
mcs-logs-1-RISCV64-	156 MB