seL4Bench

deps-update #551

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	14s
Build (armv7a)	4m 9s
Build (armv8a)	9m 10s
Build (nehalem)	2m 14s
Build (rv64imac)	2m 50s
HW Run (odroid_xu4)	35m 47s
HW Run (hifive)	7m 46s
HW Run (odroid_c2)	2m 19s
HW Run (imx8mm_evk)	14m 22s
HW Run (am335x_boneblack)	3m 16s
HW Run (pc99, haswell3)	35m 50s
HW Run (pc99, skylake)	25m 50s
HW Run (sabre)	13m 28s
HW Run (tx1)	12m 37s
HW Run (tx2)	21m 39s
Deploy	48s
	3h 12m 19s