seL4Bench

deps-update #449

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	13s
Build (armv7a)	4m 14s
Build (armv8a)	10m 46s
Build (nehalem)	2m 22s
Build (rv64imac)	2m 9s
HW Run (am335x_boneblack)	3m 25s
HW Run (odroid_c2)	2m 20s
HW Run (hifive)	7m 35s
HW Run (imx8mm_evk)	13m 28s
HW Run (odroid_xu4)	5m 0s
HW Run (sabre)	12m 55s
HW Run (pc99, haswell3)	37m 32s
HW Run (pc99, skylake)	26m 30s
HW Run (tx1)	10m 11s
HW Run (tx2)	22m 5s
Deploy	2m 32s
	2h 43m 17s