seL4Bench

deps-update #620

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	9s
Build (armv7a)	4m 6s
Build (armv8a)	9m 26s
Build (nehalem)	2m 14s
Build (rv64imac)	3m 0s
HW Run (am335x_boneblack)	4m 54s
HW Run (hifive)	7m 50s
HW Run (imx8mm_evk)	13m 49s
HW Run (odroid_c2)	4m 26s
HW Run (pc99, haswell3)	35m 53s
HW Run (odroid_xu4)	5m 36s
HW Run (pc99, skylake)	26m 29s
HW Run (sabre)	11m 46s
HW Run (tx1)	10m 53s
HW Run (tx2)	15m 12s
Deploy	1m 14s
	2h 36m 57s