seL4Bench

deps-update #571

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	10s
Build (armv7a)	4m 6s
Build (armv8a)	9m 24s
Build (nehalem)	2m 20s
Build (rv64imac)	2m 55s
HW Run (hifive)	27m 40s
HW Run (am335x_boneblack)	3m 11s
HW Run (imx8mm_evk)	12m 32s
HW Run (odroid_c2)	2m 18s
HW Run (odroid_xu4)	11m 31s
HW Run (pc99, haswell3)	44m 20s
HW Run (pc99, skylake)	26m 16s
HW Run (sabre)	12m 59s
HW Run (tx1)	27m 44s
HW Run (tx2)	27m 37s
Deploy	1m 0s
	3h 36m 3s