seL4Bench

deps-update #438

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	10s
Build (armv7a)	4m 12s
Build (armv8a)	14m 38s
Build (nehalem)	2m 18s
Build (rv64imac)	2m 8s
HW Run (am335x_boneblack)	3m 19s
HW Run (hifive)	7m 40s
HW Run (imx8mm_evk)	21m 59s
HW Run (odroid_c2)	2m 20s
HW Run (odroid_xu4)	7m 44s
HW Run (pc99, haswell3)	34m 56s
HW Run (pc99, skylake)	26m 35s
HW Run (tx1)	10m 10s
HW Run (sabre)	12m 54s
HW Run (tx2)	22m 12s
Deploy	1m 3s
	2h 54m 18s