seL4Bench

deps-update #573

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	13s
Build (armv7a)	4m 3s
Build (armv8a)	9m 17s
Build (nehalem)	2m 12s
Build (rv64imac)	2m 59s
HW Run (am335x_boneblack)	3m 30s
HW Run (hifive)	18m 4s
HW Run (imx8mm_evk)	17m 40s
HW Run (pc99, haswell3)	48m 4s
HW Run (pc99, skylake)	26m 2s
HW Run (odroid_c2)	2m 14s
HW Run (odroid_xu4)	16m 55s
HW Run (sabre)	13m 0s
HW Run (tx1)	19m 12s
HW Run (tx2)	27m 40s
Deploy	1m 4s
	3h 32m 9s