seL4Bench

deps-update #451

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	9s
Build (armv7a)	4m 10s
Build (armv8a)	10m 34s
Build (nehalem)	2m 36s
Build (rv64imac)	2m 4s
HW Run (imx8mm_evk)	13m 14s
HW Run (am335x_boneblack)	3m 18s
HW Run (hifive)	7m 47s
HW Run (odroid_c2)	2m 21s
HW Run (odroid_xu4)	9m 29s
HW Run (pc99, haswell3)	40m 2s
HW Run (pc99, skylake)	26m 24s
HW Run (sabre)	13m 3s
HW Run (tx1)	10m 4s
HW Run (tx2)	22m 22s
Deploy	40s
	2h 48m 17s