seL4Bench

deps-update #550

Sign in to view logs

Re-run triggered June 14, 2024 08:04

lsf37

Status Success

Total duration 1h 3m 0s

Artifacts 14

sel4bench.yml

on: repository_dispatch

Matrix: Build

Matrix: HW Run

Artifacts

Produced during runtime

Name	Size
sel4bench-results-pc99-skylake Expired	162 KB