seL4Bench

deps-update #455

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	13s
Build (armv7a)	4m 22s
Build (armv8a)	10m 13s
Build (nehalem)	2m 22s
Build (rv64imac)	2m 7s
HW Run (imx8mm_evk)	3h 13m 32s
HW Run (am335x_boneblack)	10m 40s
HW Run (hifive)	8m 4s
HW Run (odroid_xu4)	35m 32s
HW Run (odroid_c2)	2m 33s
HW Run (pc99, haswell3)	1h 0m 4s
HW Run (pc99, skylake)	58m 22s
HW Run (sabre)	13m 17s
HW Run (tx2)	29m 43s
HW Run (tx1)	39m 26s
Deploy	0s
	7h 50m 30s