seL4Bench

deps-update #486

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	15s
Build (armv7a)	4m 20s
Build (armv8a)	9m 52s
Build (nehalem)	2m 21s
Build (rv64imac)	2m 59s
HW Run (am335x_boneblack)	6m 17s
HW Run (hifive)	15m 29s
HW Run (imx8mm_evk)	32s
HW Run (odroid_c2)	2m 19s
HW Run (odroid_xu4)	25m 54s
HW Run (pc99, haswell3)	51m 12s
HW Run (pc99, skylake)	26m 19s
HW Run (tx1)	22m 23s
HW Run (sabre)	12m 55s
HW Run (tx2)	25m 16s
Deploy	46s
	3h 29m 9s