seL4Bench

deps-update #561

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	13s
Build (armv7a)	4m 10s
Build (armv8a)	9m 8s
Build (nehalem)	2m 15s
Build (rv64imac)	2m 51s
HW Run (hifive)	7m 54s
HW Run (odroid_c2)	2m 23s
HW Run (imx8mm_evk)	12m 29s
HW Run (am335x_boneblack)	3m 15s
HW Run (odroid_xu4)	23m 44s
HW Run (pc99, haswell3)	38m 5s
HW Run (pc99, skylake)	45m 54s
HW Run (sabre)	13m 10s
HW Run (tx1)	13m 26s
HW Run (tx2)	22m 24s
Deploy	52s
	3h 22m 13s