seL4Bench

deps-update #560

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	10s
Build (armv7a)	4m 9s
Build (armv8a)	9m 5s
Build (nehalem)	2m 13s
Build (rv64imac)	2m 49s
HW Run (am335x_boneblack)	3m 17s
HW Run (imx8mm_evk)	13m 56s
HW Run (odroid_c2)	2m 15s
HW Run (hifive)	8m 6s
HW Run (pc99, haswell3)	34m 30s
HW Run (odroid_xu4)	7m 41s
HW Run (pc99, skylake)	26m 4s
HW Run (sabre)	12m 59s
HW Run (tx1)	13m 46s
HW Run (tx2)	22m 7s
Deploy	33s
	2h 43m 40s