seL4Bench

deps-update #407

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	18s
Build (armv7a)	5m 58s
Build (armv8a)	14m 38s
Build (nehalem)	3m 13s
Build (rv64imac)	2m 53s
HW Run (am335x_boneblack)	3m 29s
HW Run (hifive)	7m 52s
HW Run (imx8mm_evk)	13m 40s
HW Run (odroid_c2)	2m 13s
HW Run (odroid_xu4)	6m 41s
HW Run (pc99, haswell3)	35m 26s
HW Run (pc99, skylake)	26m 43s
HW Run (sabre)	12m 49s
HW Run (tx1)	10m 7s
HW Run (tx2)	24m 0s
Deploy	1m 7s
	2h 51m 7s