CI: the seL4/machine_queue repo is public now · seL4/sel4bench@7450983

Re-run triggered April 7, 2024 23:53

lsf37

master

Status Success

Total duration 31m 17s

Artifacts 14

sel4bench.yml

on: push

Matrix: Build

Matrix: HW Run

Produced during runtime

Name	Size
sel4bench-results-pc99-haswell3 Expired	161 KB