seL4Bench

deps-update #452

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	12s
Build (armv7a)	4m 16s
Build (armv8a)	10m 24s
Build (nehalem)	2m 23s
Build (rv64imac)	2m 1s
HW Run (imx8mm_evk)	31m 20s
HW Run (hifive)	7m 50s
HW Run (am335x_boneblack)	3m 32s
HW Run (odroid_c2)	2m 18s
HW Run (odroid_xu4)	6m 25s
HW Run (pc99, haswell3)	37m 15s
HW Run (pc99, skylake)	26m 28s
HW Run (tx1)	10m 7s
HW Run (sabre)	12m 50s
HW Run (tx2)	23m 51s
Deploy	37s
	3h 1m 49s