seL4Bench

deps-update #533

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	12s
Build (armv7a)	4m 12s
Build (armv8a)	9m 16s
Build (nehalem)	2m 25s
Build (rv64imac)	2m 57s
HW Run (imx8mm_evk)	12m 9s
HW Run (odroid_c2)	2m 17s
HW Run (am335x_boneblack)	3m 29s
HW Run (odroid_xu4)	6m 42s
HW Run (hifive)	7m 31s
HW Run (pc99, haswell3)	54m 5s
HW Run (pc99, skylake)	26m 31s
HW Run (sabre)	12m 43s
HW Run (tx1)	11m 17s
HW Run (tx2)	20m 14s
Deploy	42s
	2h 56m 42s