deps-update #625
seL4-ciAnnotations
15 warnings
|
Freeze Code
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Build (nehalem)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Build (rv64imac)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Build (armv7a)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Build (armv8a)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
HW Run (odroid_c2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
HW Run (am335x_boneblack)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
HW Run (odroid_xu4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
HW Run (imx8mm_evk)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
HW Run (hifive)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
HW Run (sabre)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
HW Run (tx2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
HW Run (tx1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
HW Run (pc99, haswell3)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
HW Run (pc99, skylake)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
images-armv7a
|
14.6 MB |
|
|
images-armv8a
|
41.9 MB |
|
|
images-nehalem
|
6.92 MB |
|
|
images-rv64imac
|
5.54 MB |
|
|
sel4bench-results-am335x_boneblack
|
38.5 KB |
|
|
sel4bench-results-hifive
|
58.7 KB |
|
|
sel4bench-results-imx8mm_evk
|
91 KB |
|
|
sel4bench-results-odroid_c2
|
35 KB |
|
|
sel4bench-results-odroid_xu4
|
39.3 KB |
|
|
sel4bench-results-pc99-haswell3
|
160 KB |
|
|
sel4bench-results-pc99-skylake
|
163 KB |
|
|
sel4bench-results-sabre
|
86.8 KB |
|
|
sel4bench-results-tx1
|
48.4 KB |
|
|
sel4bench-results-tx2
|
50.9 KB |
|