seL4Bench

deps-update #453

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	9s
Build (armv7a)	4m 8s
Build (armv8a)	10m 9s
Build (nehalem)	2m 19s
Build (rv64imac)	2m 6s
HW Run (am335x_boneblack)	31m 7s
HW Run (hifive)	39m 42s
HW Run (imx8mm_evk)	57m 5s
HW Run (odroid_c2)	31m 0s
HW Run (odroid_xu4)	30m 48s
HW Run (pc99, haswell3)	1h 23m 12s
HW Run (pc99, skylake)	1h 23m 13s
HW Run (sabre)	48m 14s
HW Run (tx1)	39m 47s
HW Run (tx2)	39m 34s
Deploy	0s
	8h 22m 33s