seL4Bench

deps-update #474

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	11s
Build (armv7a)	4m 21s
Build (armv8a)	9m 25s
Build (nehalem)	2m 19s
Build (rv64imac)	2m 2s
HW Run (am335x_boneblack)	3m 17s
HW Run (hifive)	7m 49s
HW Run (imx8mm_evk)	38s
HW Run (odroid_c2)	2m 18s
HW Run (odroid_xu4)	8m 40s
HW Run (pc99, haswell3)	43m 49s
HW Run (sabre)	12m 46s
HW Run (tx1)	10m 50s
HW Run (pc99, skylake)	59m 9s
HW Run (tx2)	26m 4s
Deploy	39s
	3h 14m 17s