seL4Bench

deps-update #611

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	11s
Build (armv7a)	4m 8s
Build (armv8a)	9m 57s
Build (nehalem)	2m 17s
Build (rv64imac)	2m 53s
HW Run (odroid_c2)	2m 2s
HW Run (hifive)	7m 39s
HW Run (am335x_boneblack)	3m 28s
HW Run (imx8mm_evk)	13m 45s
HW Run (pc99, haswell3)	35m 13s
HW Run (odroid_xu4)	8m 36s
HW Run (pc99, skylake)	26m 54s
HW Run (sabre)	11m 49s
HW Run (tx1)	10m 45s
HW Run (tx2)	15m 26s
Deploy	51s
	2h 35m 54s