seL4Bench

deps-update #616

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	10s
Build (armv7a)	3m 58s
Build (armv8a)	9m 47s
Build (nehalem)	2m 17s
Build (rv64imac)	2m 48s
HW Run (am335x_boneblack)	2m 36s
HW Run (hifive)	7m 41s
HW Run (imx8mm_evk)	13m 40s
HW Run (odroid_c2)	2m 31s
HW Run (odroid_xu4)	12m 31s
HW Run (pc99, skylake)	26m 15s
HW Run (pc99, haswell3)	50m 45s
HW Run (sabre)	11m 31s
HW Run (tx1)	11m 46s
HW Run (tx2)	13m 40s
Deploy	43s
	2h 52m 39s