seL4Bench

deps-update #473

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	13s
Build (armv7a)	4m 8s
Build (armv8a)	9m 24s
Build (nehalem)	2m 25s
Build (rv64imac)	2m 4s
HW Run (am335x_boneblack)	4m 54s
HW Run (hifive)	9m 26s
HW Run (odroid_c2)	2m 18s
HW Run (imx8mm_evk)	29s
HW Run (odroid_xu4)	7m 1s
HW Run (pc99, haswell3)	50m 5s
HW Run (pc99, skylake)	26m 14s
HW Run (tx1)	10m 8s
HW Run (sabre)	12m 49s
HW Run (tx2)	23m 52s
Deploy	34s
	2h 46m 4s