seL4Bench

deps-update #445

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	9s
Build (armv7a)	4m 23s
Build (armv8a)	10m 19s
Build (nehalem)	2m 19s
Build (rv64imac)	2m 8s
HW Run (am335x_boneblack)	3m 22s
HW Run (imx8mm_evk)	14m 4s
HW Run (hifive)	7m 54s
HW Run (odroid_c2)	3m 2s
HW Run (odroid_xu4)	12m 17s
HW Run (pc99, skylake)	39m 35s
HW Run (sabre)	13m 4s
HW Run (tx1)	10m 53s
HW Run (pc99, haswell3)	44m 57s
HW Run (tx2)	23m 44s
Deploy	1m 6s
	3h 13m 16s