seL4Bench

deps-update #460

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	9s
Build (armv7a)	4m 13s
Build (armv8a)	10m 34s
Build (nehalem)	2m 23s
Build (rv64imac)	2m 0s
HW Run (am335x_boneblack)	4m 43s
HW Run (imx8mm_evk)	25s
HW Run (hifive)	1s
HW Run (odroid_xu4)	7m 34s
HW Run (odroid_c2)	2m 21s
HW Run (pc99, haswell3)	1s
HW Run (pc99, skylake)	1s
HW Run (sabre)	1s
HW Run (tx1)	1s
HW Run (tx2)	1s
Deploy	0s
	34m 28s