seL4Bench

deps-update #555

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	11s
Build (armv7a)	3m 59s
Build (armv8a)	9m 18s
Build (nehalem)	2m 22s
Build (rv64imac)	2m 50s
HW Run (am335x_boneblack)	3m 16s
HW Run (hifive)	31m 39s
HW Run (imx8mm_evk)	1h 42m 47s
HW Run (odroid_c2)	24m 44s
HW Run (odroid_xu4)	4m 56s
HW Run (pc99, skylake)	26m 36s
HW Run (pc99, haswell3)	35m 23s
HW Run (sabre)	13m 2s
HW Run (tx1)	2h 5m 18s
HW Run (tx2)	22m 20s
Deploy	44s
	6h 49m 25s