seL4Bench

deps-update #567

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	10s
Build (armv7a)	4m 2s
Build (armv8a)	9m 7s
Build (nehalem)	2m 15s
Build (rv64imac)	2m 48s
HW Run (am335x_boneblack)	3m 17s
HW Run (hifive)	12m 40s
HW Run (imx8mm_evk)	16m 19s
HW Run (odroid_c2)	2m 16s
HW Run (odroid_xu4)	5m 33s
HW Run (pc99, haswell3)	53m 6s
HW Run (pc99, skylake)	55m 27s
HW Run (sabre)	14m 53s
HW Run (tx1)	11m 34s
HW Run (tx2)	24m 14s
Deploy	41s
	3h 38m 22s