rt spec+proof: prove awaken_ccorres #961

Sign in to view logs

Triggered via push July 25, 2024 10:25

michaelmcinerney

rt

Status Success

Total duration 2h 37m 30s

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