seL4Bench

deps-update #454

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	14s
Build (armv7a)	4m 9s
Build (armv8a)	10m 32s
Build (nehalem)	2m 18s
Build (rv64imac)	2m 0s
HW Run (am335x_boneblack)	3h 48m 31s
HW Run (hifive)	7m 31s
HW Run (odroid_c2)	4h 46m 48s
HW Run (pc99, haswell3)	4h 50m 45s
HW Run (imx8mm_evk)	13m 17s
HW Run (odroid_xu4)	39m 21s
HW Run (pc99, skylake)	5h 9m 47s
HW Run (sabre)	3h 22m 46s
HW Run (tx1)	10m 15s
HW Run (tx2)	2h 25m 43s
Deploy	0s
	1d 1h 53m 57s