seL4Bench

deps-update #459

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	14s
Build (armv7a)	4m 17s
Build (armv8a)	10m 16s
Build (nehalem)	2m 19s
Build (rv64imac)	2m 3s
HW Run (am335x_boneblack)	3m 27s
HW Run (imx8mm_evk)	30s
HW Run (hifive)	7m 34s
HW Run (odroid_c2)	3m 8s
HW Run (odroid_xu4)	4m 54s
HW Run (pc99, haswell3)	43m 15s
HW Run (pc99, skylake)	28m 12s
HW Run (sabre)	12m 45s
HW Run (tx1)	11m 16s
HW Run (tx2)	21m 53s
Deploy	46s
	2h 36m 49s