Proofs for SGI API · seL4/l4v@dc2fd26

Re-run triggered March 26, 2024 14:49

lsf37

#733

Status Success

Total duration 3h 36m 44s

Artifacts 7

proof.yml

on: pull_request_target

Matrix: All

Produced during runtime

Name	Size
logs-ARM_HYP Expired	189 MB