seL4Bench

deps-update #556

Sign in to view logs

Re-run triggered June 17, 2024 10:33

lsf37

Status Success

Total duration 27m 25s

Artifacts 14

sel4bench.yml

on: repository_dispatch

Matrix: Build

Matrix: HW Run

Artifacts

Produced during runtime

Name	Size
sel4bench-results-tx1 Expired	48.7 KB