seL4Bench

deps-update #467

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	13s
Build (armv7a)	4m 13s
Build (armv8a)	9m 18s
Build (nehalem)	2m 24s
Build (rv64imac)	2m 7s
HW Run (odroid_c2)	3m 23s
HW Run (hifive)	7m 51s
HW Run (imx8mm_evk)	27s
HW Run (odroid_xu4)	7m 20s
HW Run (pc99, haswell3)	6h 0m 10s
HW Run (am335x_boneblack)	3m 19s
HW Run (pc99, skylake)	21m 17s
HW Run (sabre)	14m 36s
HW Run (tx1)	10m 22s
HW Run (tx2)	15m 34s
Deploy	0s
	7h 42m 34s