deps-update #460
seL4-ciAnnotations
6 errors and 1 warning
|
HW Run (hifive)
Canceling since a higher priority waiting request for 'sel4bench-hw-7' exists
|
|
HW Run (pc99, haswell3)
Canceling since a higher priority waiting request for 'sel4bench-hw-9' exists
|
|
HW Run (pc99, skylake)
Canceling since a higher priority waiting request for 'sel4bench-hw-8' 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
|
|
HW Run (tx1)
Canceling since a higher priority waiting request for 'sel4bench-hw-5' exists
|
|
HW Run (imx8mm_evk)
No files were found with the provided path: *.json. No artifacts will be uploaded.
|
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
|
361 KB |
|
|
sel4bench-results-odroid_c2
Expired
|
361 KB |
|
|
sel4bench-results-odroid_xu4
Expired
|
400 KB |
|