seL4Bench

deps-update #570

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 22s
Build (nehalem)	2m 17s
Build (rv64imac)	2m 54s
HW Run (hifive)	7m 52s
HW Run (am335x_boneblack)	4m 3s
HW Run (odroid_c2)	2m 16s
HW Run (imx8mm_evk)	15m 26s
HW Run (pc99, haswell3)	39m 40s
HW Run (odroid_xu4)	7m 5s
HW Run (tx1)	11m 30s
HW Run (pc99, skylake)	25m 51s
HW Run (sabre)	12m 48s
HW Run (tx2)	23m 28s
Deploy	47s
	2h 49m 38s