seL4Bench

deps-update #602

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	15s
Build (armv7a)	4m 2s
Build (armv8a)	10m 16s
Build (nehalem)	2m 13s
Build (rv64imac)	2m 58s
HW Run (am335x_boneblack)	5m 25s
HW Run (hifive)	7m 53s
HW Run (imx8mm_evk)	13m 36s
HW Run (odroid_c2)	4m 34s
HW Run (odroid_xu4)	8m 14s
HW Run (pc99, haswell3)	34m 23s
HW Run (pc99, skylake)	26m 43s
HW Run (sabre)	12m 53s
HW Run (tx1)	15m 2s
HW Run (tx2)	22m 48s
Deploy	56s
	2h 52m 11s