seL4Bench

deps-update #446

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	14s
Build (armv7a)	4m 11s
Build (armv8a)	10m 23s
Build (nehalem)	2m 33s
Build (rv64imac)	2m 8s
HW Run (imx8mm_evk)	13m 12s
HW Run (am335x_boneblack)	3m 18s
HW Run (odroid_c2)	2m 21s
HW Run (odroid_xu4)	16m 59s
HW Run (hifive)	7m 31s
HW Run (pc99, haswell3)	38m 21s
HW Run (sabre)	12m 53s
HW Run (pc99, skylake)	26m 24s
HW Run (tx1)	10m 3s
HW Run (tx2)	22m 16s
Deploy	1m 2s
	2h 53m 49s