seL4Bench

deps-update #553

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	14s
Build (armv7a)	4m 1s
Build (armv8a)	9m 2s
Build (nehalem)	2m 27s
Build (rv64imac)	2m 51s
HW Run (am335x_boneblack)	3m 18s
HW Run (odroid_xu4)	13m 20s
HW Run (imx8mm_evk)	11m 49s
HW Run (hifive)	21m 10s
HW Run (odroid_c2)	2m 37s
HW Run (pc99, haswell3)	34m 59s
HW Run (pc99, skylake)	25m 41s
HW Run (sabre)	12m 59s
HW Run (tx1)	17m 25s
HW Run (tx2)	24m 5s
Deploy	36s
	3h 6m 34s