seL4Bench

deps-update #575

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	14s
Build (armv7a)	4m 6s
Build (armv8a)	9m 6s
Build (nehalem)	2m 13s
Build (rv64imac)	2m 54s
HW Run (hifive)	8m 3s
HW Run (am335x_boneblack)	4m 9s
HW Run (imx8mm_evk)	11m 34s
HW Run (odroid_c2)	2m 24s
HW Run (odroid_xu4)	5m 31s
HW Run (pc99, haswell3)	41m 42s
HW Run (pc99, skylake)	26m 37s
HW Run (sabre)	13m 0s
HW Run (tx1)	28m 36s
HW Run (tx2)	27m 57s
Deploy	42s
	3h 8m 48s