seL4Bench

deps-update #536

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	13s
Build (armv7a)	4m 21s
Build (armv8a)	9m 37s
Build (nehalem)	2m 37s
Build (rv64imac)	3m 0s
HW Run (am335x_boneblack)	4m 5s
HW Run (hifive)	7m 45s
HW Run (imx8mm_evk)	13m 57s
HW Run (odroid_c2)	2m 15s
HW Run (pc99, skylake)	25m 45s
HW Run (sabre)	13m 0s
HW Run (tx1)	11m 4s
HW Run (tx2)	21m 29s
HW Run (odroid_xu4)	6m 49s
HW Run (pc99, haswell3)	36m 0s
Deploy	47s
	2h 42m 44s