deps-update #607
seL4-ciAnnotations
10 errors
|
HW Run (am335x_boneblack)
Action sel4bench-hw failed.
|
|
HW Run (odroid_c2)
Action sel4bench-hw failed.
|
|
HW Run (odroid_xu4)
Action sel4bench-hw failed.
|
|
HW Run (hifive)
Action sel4bench-hw failed.
|
|
HW Run (tx1)
Action sel4bench-hw failed.
|
|
HW Run (tx2)
Action sel4bench-hw failed.
|
|
HW Run (sabre)
Action sel4bench-hw failed.
|
|
HW Run (imx8mm_evk)
Action sel4bench-hw failed.
|
|
HW Run (pc99, haswell3)
Action sel4bench-hw failed.
|
|
HW Run (pc99, skylake)
Action sel4bench-hw failed.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
images-armv7a
|
14.6 MB |
|
|
images-armv8a
|
41.9 MB |
|
|
images-nehalem
|
6.91 MB |
|
|
images-rv64imac
|
5.54 MB |
|