seL4Bench

deps-update #569

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	10s
Build (armv7a)	4m 0s
Build (armv8a)	9m 10s
Build (nehalem)	2m 18s
Build (rv64imac)	2m 55s
HW Run (hifive)	7m 54s
HW Run (imx8mm_evk)	13m 2s
HW Run (odroid_c2)	2m 59s
HW Run (am335x_boneblack)	4m 0s
HW Run (odroid_xu4)	9m 54s
HW Run (pc99, haswell3)	42m 56s
HW Run (pc99, skylake)	26m 35s
HW Run (sabre)	12m 56s
HW Run (tx1)	22m 50s
HW Run (tx2)	43m 37s
Deploy	56s
	3h 26m 12s