seL4Bench

deps-update #463

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	9s
Build (armv7a)	4m 8s
Build (armv8a)	10m 28s
Build (nehalem)	2m 20s
Build (rv64imac)	2m 5s
HW Run (hifive)	7m 37s
HW Run (imx8mm_evk)	40s
HW Run (am335x_boneblack)	4m 54s
HW Run (odroid_c2)	3m 22s
HW Run (odroid_xu4)	19m 27s
HW Run (pc99, haswell3)	38m 56s
HW Run (pc99, skylake)	26m 15s
HW Run (sabre)	14m 38s
HW Run (tx1)	10m 10s
HW Run (tx2)	22m 7s
Deploy	55s
	2h 48m 11s