seL4Bench

deps-update #472

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	14s
Build (armv7a)	4m 14s
Build (armv8a)	9m 27s
Build (nehalem)	2m 17s
Build (rv64imac)	2m 0s
HW Run (am335x_boneblack)	6m 26s
HW Run (hifive)	7m 30s
HW Run (imx8mm_evk)	28s
HW Run (odroid_c2)	3m 21s
HW Run (odroid_xu4)	5m 12s
HW Run (pc99, haswell3)	40m 23s
HW Run (pc99, skylake)	45m 59s
HW Run (sabre)	14m 21s
HW Run (tx1)	26m 25s
HW Run (tx2)	21m 30s
Deploy	32s
	3h 10m 19s