seL4Bench

deps-update #615

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	14s
Build (armv7a)	4m 9s
Build (armv8a)	9m 47s
Build (nehalem)	2m 20s
Build (rv64imac)	2m 50s
HW Run (hifive)	7m 53s
HW Run (odroid_c2)	2m 19s
HW Run (am335x_boneblack)	2m 50s
HW Run (imx8mm_evk)	12m 2s
HW Run (odroid_xu4)	5m 36s
HW Run (pc99, haswell3)	35m 18s
HW Run (pc99, skylake)	26m 48s
HW Run (sabre)	12m 1s
HW Run (tx1)	8m 53s
HW Run (tx2)	14m 10s
Deploy	41s
	2h 27m 51s