seL4Bench

deps-update #539

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	10s
Build (armv7a)	4m 8s
Build (armv8a)	9m 21s
Build (nehalem)	2m 29s
Build (rv64imac)	2m 59s
HW Run (am335x_boneblack)	3m 12s
HW Run (hifive)	7m 47s
HW Run (odroid_c2)	3m 6s
HW Run (imx8mm_evk)	14m 18s
HW Run (odroid_xu4)	14m 41s
HW Run (pc99, haswell3)	45m 5s
HW Run (pc99, skylake)	29m 24s
HW Run (sabre)	13m 17s
HW Run (tx1)	13m 36s
HW Run (tx2)	21m 0s
Deploy	34s
	3h 5m 7s