seL4Bench

deps-update #443

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	9s
Build (armv7a)	4m 22s
Build (armv8a)	10m 24s
Build (nehalem)	2m 26s
Build (rv64imac)	2m 1s
HW Run (hifive)	7m 30s
HW Run (imx8mm_evk)	13m 29s
HW Run (am335x_boneblack)	3m 18s
HW Run (odroid_c2)	2m 20s
HW Run (odroid_xu4)	6m 34s
HW Run (pc99, haswell3)	36m 53s
HW Run (pc99, skylake)	26m 32s
HW Run (sabre)	13m 3s
HW Run (tx1)	12m 11s
HW Run (tx2)	21m 37s
Deploy	1m 6s
	2h 43m 55s