rt proof: update for merge · seL4/l4v@3308a0b

Triggered via push October 13, 2023 04:51

corlewis

rt

Status Success

Total duration 10m 42s

Artifacts 2

proof.yml

on: push

Matrix: MCS

Produced during runtime

Name	Size
logs-ARM Expired	142 MB
logs-RISCV64 Expired	118 MB