seL4Bench

deps-update #581

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	16s
Build (armv7a)	3m 59s
Build (armv8a)	9m 11s
Build (nehalem)	2m 19s
Build (rv64imac)	2m 47s
HW Run (hifive)	8m 6s
HW Run (imx8mm_evk)	13m 51s
HW Run (am335x_boneblack)	3m 13s
HW Run (odroid_c2)	2m 6s
HW Run (odroid_xu4)	6m 20s
HW Run (pc99, haswell3)	41m 25s
HW Run (pc99, skylake)	27m 8s
HW Run (sabre)	12m 54s
HW Run (tx1)	13m 4s
HW Run (tx2)	22m 35s
Deploy	34s
	2h 49m 48s