seL4Bench

deps-update #587

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	14s
Build (armv7a)	4m 5s
Build (armv8a)	9m 16s
Build (nehalem)	2m 14s
Build (rv64imac)	2m 49s
HW Run (hifive)	7m 39s
HW Run (am335x_boneblack)	3m 32s
HW Run (imx8mm_evk)	13m 34s
HW Run (odroid_xu4)	8m 22s
HW Run (odroid_c2)	2m 27s
HW Run (pc99, skylake)	26m 30s
HW Run (pc99, haswell3)	34m 24s
HW Run (sabre)	13m 5s
HW Run (tx2)	18m 50s
HW Run (tx1)	11m 55s
Deploy	36s
	2h 39m 32s