seL4Bench-PR

VM fault fastpath new benchmarks #120

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	14s
Build (armv7a)	4m 8s
Build (armv8a)	10m 11s
Build (nehalem)	2m 27s
Build (rv64imac)	2m 54s
HW Run (hifive)	16m 23s
HW Run (am335x_boneblack)	3m 17s
HW Run (imx8mm_evk)	12m 16s
HW Run (odroid_c2)	2m 34s
HW Run (odroid_xu4)	4m 34s
HW Run (pc99, haswell3)	31m 43s
HW Run (pc99, skylake)	30m 13s
HW Run (sabre)	13m 41s
HW Run (tx1)	10m 36s
HW Run (tx2)	19m 44s
	2h 44m 55s