Skip to content

CI: the seL4/machine_queue repo is public now #6

CI: the seL4/machine_queue repo is public now

CI: the seL4/machine_queue repo is public now #6

Triggered via push April 4, 2024 08:55
Status Success
Total duration 9m 38s
Artifacts 4

sel4bench.yml

on: push
Freeze Code
11s
Freeze Code
Matrix: Build
Matrix: HW Run
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
images-armv7a Expired
14.6 MB
images-armv8a Expired
38.2 MB
images-nehalem Expired
6.91 MB
images-rv64imac Expired
5.54 MB