seL4Bench

deps-update #465

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	12s
Build (armv7a)	4m 20s
Build (armv8a)	9m 57s
Build (nehalem)	2m 20s
Build (rv64imac)	2m 6s
HW Run (imx8mm_evk)	28s
HW Run (am335x_boneblack)	4m 58s
HW Run (hifive)	7m 49s
HW Run (odroid_xu4)	15m 44s
HW Run (odroid_c2)	2m 19s
HW Run (pc99, haswell3)	43m 24s
HW Run (tx1)	10m 2s
HW Run (pc99, skylake)	26m 41s
HW Run (sabre)	13m 14s
HW Run (tx2)	22m 25s
Deploy	1m 6s
	2h 47m 5s