deps-update #606
seL4-ciAnnotations
4 errors
|
HW Run (am335x_boneblack)
Action sel4bench-hw failed.
|
|
HW Run (tx1)
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 |
|
|
sel4bench-results-hifive
|
58.2 KB |
|
|
sel4bench-results-imx8mm_evk
|
90.5 KB |
|
|
sel4bench-results-odroid_c2
|
35 KB |
|
|
sel4bench-results-odroid_xu4
|
40.4 KB |
|
|
sel4bench-results-sabre
|
86 KB |
|
|
sel4bench-results-tx2
|
50.7 KB |
|