seL4Bench

deps-update #543

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	10s
Build (armv7a)	4m 11s
Build (armv8a)	9m 10s
Build (nehalem)	2m 19s
Build (rv64imac)	3m 3s
HW Run (imx8mm_evk)	12m 5s
HW Run (hifive)	7m 38s
HW Run (am335x_boneblack)	3m 14s
HW Run (odroid_c2)	2m 14s
HW Run (odroid_xu4)	4m 12s
HW Run (pc99, haswell3)	35m 22s
HW Run (pc99, skylake)	25m 47s
HW Run (sabre)	13m 5s
HW Run (tx1)	10m 4s
HW Run (tx2)	19m 12s
Deploy	38s
	2h 32m 24s