seL4Bench

deps-update #619

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 44s
Build (nehalem)	2m 18s
Build (rv64imac)	2m 57s
HW Run (am335x_boneblack)	2m 41s
HW Run (hifive)	9m 56s
HW Run (imx8mm_evk)	12m 24s
HW Run (odroid_c2)	2m 19s
HW Run (odroid_xu4)	7m 55s
HW Run (pc99, haswell3)	34m 48s
HW Run (pc99, skylake)	26m 58s
HW Run (sabre)	11m 47s
HW Run (tx1)	8m 24s
HW Run (tx2)	14m 53s
Deploy	1m 4s
	2h 32m 29s