seL4Bench

deps-update #596

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	13s
Build (armv7a)	4m 7s
Build (armv8a)	9m 30s
Build (nehalem)	2m 14s
Build (rv64imac)	3m 0s
HW Run (am335x_boneblack)	3m 17s
HW Run (hifive)	7m 51s
HW Run (odroid_c2)	2m 15s
HW Run (odroid_xu4)	4m 31s
HW Run (imx8mm_evk)	13m 30s
HW Run (pc99, skylake)	28m 26s
HW Run (pc99, haswell3)	34m 29s
HW Run (sabre)	12m 59s
HW Run (tx1)	11m 4s
HW Run (tx2)	27m 38s
Deploy	34s
	2h 45m 38s