Proofs

rt spec+proof: prove refill_budget_check_ccorres #1058

Sign in to view logs

Triggered via push February 19, 2025 03:13

michaelmcinerney

rt

Status Success

Total duration 2h 42m 37s

Artifacts 4

proof-deploy.yml

on: push

Freeze MCS Code

Trigger platform branch rebase

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