seL4Bench

deps-update #456

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	13s
Build (armv7a)	4m 6s
Build (armv8a)	10m 17s
Build (nehalem)	2m 21s
Build (rv64imac)	2m 7s
HW Run (hifive)	7m 37s
HW Run (imx8mm_evk)	1s
HW Run (odroid_c2)	2m 45s
HW Run (am335x_boneblack)	3m 19s
HW Run (odroid_xu4)	23m 27s
HW Run (pc99, haswell3)	2h 10m 9s
HW Run (pc99, skylake)	26m 42s
HW Run (sabre)	16m 24s
HW Run (tx1)	1h 32m 48s
HW Run (tx2)	43m 11s
Deploy	0s
	6h 5m 27s