MCS CRefine sorried for RISCV64 · seL4/l4v@3d978d7

Triggered via pull request October 19, 2023 07:30

lsf37

synchronize #683

Status Success

Total duration 15m 44s

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