seL4Bench

deps-update #540

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	12s
Build (armv7a)	4m 8s
Build (armv8a)	9m 35s
Build (nehalem)	2m 25s
Build (rv64imac)	3m 5s
HW Run (odroid_c2)	2m 27s
HW Run (am335x_boneblack)	3m 28s
HW Run (hifive)	7m 48s
HW Run (imx8mm_evk)	14m 40s
HW Run (odroid_xu4)	12m 34s
HW Run (pc99, haswell3)	35m 13s
HW Run (pc99, skylake)	26m 27s
HW Run (sabre)	13m 9s
HW Run (tx1)	29m 48s
HW Run (tx2)	19m 29s
Deploy	1m 3s
	3h 5m 31s