seL4Bench

deps-update #470

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	13s
Build (armv7a)	4m 16s
Build (armv8a)	9m 30s
Build (nehalem)	2m 20s
Build (rv64imac)	2m 6s
HW Run (am335x_boneblack)	4m 53s
HW Run (imx8mm_evk)	38s
HW Run (hifive)	7m 29s
HW Run (odroid_c2)	2m 42s
HW Run (pc99, haswell3)	41m 22s
HW Run (odroid_xu4)	8m 49s
HW Run (pc99, skylake)	25m 42s
HW Run (sabre)	12m 57s
HW Run (tx1)	10m 57s
HW Run (tx2)	25m 28s
Deploy	38s
	2h 40m 0s