seL4Bench

deps-update #475

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	11s
Build (armv7a)	4m 11s
Build (armv8a)	9m 36s
Build (nehalem)	2m 22s
Build (rv64imac)	2m 1s
HW Run (odroid_c2)	3m 22s
HW Run (hifive)	7m 44s
HW Run (odroid_xu4)	14m 23s
HW Run (am335x_boneblack)	6m 36s
HW Run (pc99, skylake)	26m 15s
HW Run (sabre)	12m 59s
HW Run (pc99, haswell3)	1h 5m 15s
HW Run (tx1)	10m 7s
HW Run (tx2)	21m 57s
HW Run (imx8mm_evk)	30s
Deploy	1m 14s
	3h 8m 43s