seL4Bench

deps-update #559

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	14s
Build (armv7a)	4m 5s
Build (armv8a)	9m 13s
Build (nehalem)	2m 23s
Build (rv64imac)	2m 57s
HW Run (am335x_boneblack)	3m 29s
HW Run (hifive)	7m 59s
HW Run (imx8mm_evk)	14m 5s
HW Run (odroid_xu4)	4m 30s
HW Run (pc99, haswell3)	34m 26s
HW Run (pc99, skylake)	26m 19s
HW Run (sabre)	12m 59s
HW Run (odroid_c2)	2m 13s
HW Run (tx1)	32m 38s
HW Run (tx2)	22m 27s
Deploy	53s
	3h 0m 50s