seL4Bench

seL4Bench #516

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	18s
Build (armv7a)	4m 14s
Build (armv8a)	9m 11s
Build (nehalem)	2m 32s
Build (rv64imac)	3m 11s
HW Run (hifive)	7m 58s
HW Run (imx8mm_evk)	11m 59s
HW Run (am335x_boneblack)	3m 28s
HW Run (odroid_c2)	2m 20s
HW Run (odroid_xu4)	4m 21s
HW Run (pc99, haswell3)	29m 15s
HW Run (pc99, skylake)	25m 46s
HW Run (sabre)	13m 8s
HW Run (tx1)	10m 12s
HW Run (tx2)	17m 45s
Deploy	35s
	2h 26m 13s