seL4Bench

deps-update #547

Sign in to view logs

Triggered via repository dispatch June 12, 2024 12:49

seL4-ci

deps-update ⁠ 0594cd5

Status Cancelled

Total duration 20m 38s

Artifacts 6

sel4bench.yml

on: repository_dispatch

Matrix: Build

Matrix: HW Run

Annotations

8 errors

HW Run (imx8mm_evk)

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

HW Run (hifive)

Canceling since a higher priority waiting request for 'sel4bench-hw-7' 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 (pc99, haswell3)

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

HW Run (tx1)

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

HW Run (tx2)

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

HW Run (sabre)

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

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
sel4bench-results-am335x_boneblack Expired	36.9 KB
sel4bench-results-odroid_c2 Expired	33.9 KB