seL4Bench

deps-update #676

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	9s
Build (armv7a)	4m 5s
Build (armv8a)	10m 14s
Build (nehalem)	2m 11s
Build (rv64imac)	3m 1s
HW Run (hifive)	44m 59s
HW Run (am335x_boneblack)	2m 50s
HW Run (odroid_c2)	2m 22s
HW Run (imx8mm_evk)	11m 49s
HW Run (odroid_xu4)	5m 17s
HW Run (pc99, haswell3)	1h 16m 49s
HW Run (pc99, skylake)	39m 6s
HW Run (sabre)	11m 40s
HW Run (tx1)	48m 37s
HW Run (tx2)	12m 46s
Deploy	38s
	4h 36m 33s