seL4Test HW

libplatsupport: use proper format specifier #309

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
HW Build (armv7a, gcc)	13m 51s
HW Build (armv7a, clang)	16m 50s
HW Build (armv8a, gcc)	38m 26s
HW Build (armv8a, clang)	43m 19s
HW Build (nehalem, gcc)	35m 0s
HW Build (nehalem, clang)	8m 48s
HW Build (rv64imac, gcc)	9m 11s
HW Build (rv64imac, clang)	8m 40s
Matrix	12s
HW Run	0s
	2h 54m 17s