seL4Bench

deps-update #605

Sign in to view logs

Re-run triggered October 25, 2024 06:11

lsf37

Status Success

Total duration 17m 27s

Artifacts 14

sel4bench.yml

on: repository_dispatch

Matrix: Build

Matrix: HW Run

Artifacts

Produced during runtime

Name	Size
sel4bench-results-tx1	48.3 KB