seL4Bench-PR

add CI build with clang #100

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	19s
Build (armv7a, gcc)	4m 21s
Build (armv7a, clang)	1m 3s
Build (armv8a, gcc)	9m 49s
Build (armv8a, clang)	58s
Build (nehalem, gcc)	2m 27s
Build (nehalem, clang)	1m 3s
Build (rv64imac, gcc)	3m 13s
Build (rv64imac, clang)	1m 1s
HW Run (am335x_boneblack)	7s
HW Run (hifive)	10s
HW Run (imx8mm_evk)	9s
HW Run (odroid_c2)	12s
HW Run (odroid_xu4)	5s
HW Run (pc99, haswell3)	5s
HW Run (pc99, skylake)	10s
HW Run (sabre)	6s
HW Run (tx1)	5s
HW Run (tx2)	6s
	25m 29s