seL4Bench

deps-update #457

Sign in to view logs

Triggered via repository dispatch January 11, 2024 22:29

seL4-ci

deps-update ⁠ b7a570a

Status Cancelled

Total duration 32m 24s

Artifacts 7

sel4bench.yml

on: repository_dispatch

Matrix: Build

Matrix: HW Run

Annotations

7 errors

HW Run (pc99, haswell3)

Canceling since a higher priority waiting request for 'sel4bench-hw-9' exists

HW Run (imx8mm_evk)

Canceling since a higher priority waiting request for 'sel4bench-hw-1' exists

HW Run (odroid_xu4)

Canceling since a higher priority waiting request for 'sel4bench-hw-3' exists

HW Run (pc99, skylake)

Canceling since a higher priority waiting request for 'sel4bench-hw-8' exists

HW Run (tx1)

Canceling since a higher priority waiting request for 'sel4bench-hw-5' exists

HW Run (sabre)

Canceling since a higher priority waiting request for 'sel4bench-hw-0' exists

HW Run (tx2)

Canceling since a higher priority waiting request for 'sel4bench-hw-6' exists

Artifacts

Produced during runtime

Name	Size
images-armv7a Expired	14.6 MB
images-armv8a Expired	43.1 MB
images-nehalem Expired	6.91 MB
images-rv64imac Expired	2.57 MB
sel4bench-results-am335x_boneblack Expired	362 KB
sel4bench-results-hifive Expired	490 KB
sel4bench-results-odroid_c2 Expired	361 KB