MCS CRefine sorried for RISCV64 · seL4/l4v@0cee74c

Re-run triggered October 19, 2023 03:51

lsf37

#683

Status Success

Total duration 2h 17m 8s

Artifacts 2

proof.yml

on: pull_request_target

Matrix: MCS

Produced during runtime

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