seL4Bench

deps-update #625

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	10s
Build (armv7a)	3m 57s
Build (armv8a)	9m 22s
Build (nehalem)	2m 14s
Build (rv64imac)	2m 53s
HW Run (odroid_c2)	2m 14s
HW Run (hifive)	7m 46s
HW Run (am335x_boneblack)	2m 39s
HW Run (imx8mm_evk)	12m 8s
HW Run (pc99, skylake)	55m 49s
HW Run (pc99, haswell3)	37m 1s
HW Run (sabre)	11m 54s
HW Run (tx1)	12m 2s
HW Run (odroid_xu4)	4m 39s
HW Run (tx2)	16m 35s
Deploy	43s
	3h 2m 6s