seL4Bench

deps-update #565

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	14s
Build (armv7a)	4m 14s
Build (armv8a)	9m 20s
Build (nehalem)	2m 30s
Build (rv64imac)	3m 4s
HW Run (hifive)	7m 50s
HW Run (imx8mm_evk)	13m 49s
HW Run (am335x_boneblack)	4m 2s
HW Run (odroid_c2)	2m 16s
HW Run (odroid_xu4)	5m 46s
HW Run (pc99, haswell3)	35m 19s
HW Run (pc99, skylake)	25m 45s
HW Run (sabre)	12m 56s
HW Run (tx2)	20m 6s
HW Run (tx1)	23m 22s
Deploy	41s
	2h 51m 14s