seL4Bench

deps-update #568

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	13s
Build (armv7a)	4m 4s
Build (armv8a)	8m 58s
Build (nehalem)	2m 20s
Build (rv64imac)	2m 52s
HW Run (hifive)	21m 0s
HW Run (odroid_c2)	3m 3s
HW Run (imx8mm_evk)	12m 0s
HW Run (odroid_xu4)	6m 12s
HW Run (pc99, haswell3)	39m 6s
HW Run (am335x_boneblack)	3m 15s
HW Run (pc99, skylake)	26m 50s
HW Run (sabre)	12m 57s
HW Run (tx1)	18m 7s
HW Run (tx2)	32m 11s
Deploy	1m 8s
	3h 14m 16s