seL4Bench

deps-update #578

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	13s
Build (armv7a)	4m 12s
Build (armv8a)	9m 25s
Build (nehalem)	2m 13s
Build (rv64imac)	2m 56s
HW Run (hifive)	8m 11s
HW Run (imx8mm_evk)	12m 10s
HW Run (odroid_c2)	2m 20s
HW Run (am335x_boneblack)	3m 15s
HW Run (odroid_xu4)	8m 11s
HW Run (pc99, skylake)	26m 17s
HW Run (pc99, haswell3)	36m 13s
HW Run (sabre)	13m 5s
HW Run (tx1)	58m 31s
HW Run (tx2)	22m 3s
Deploy	42s
	3h 29m 57s