seL4Test HW

libplatsupport: separate drivers from platforms #314

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
HW Build (armv7a, gcc)	14m 34s
HW Build (armv7a, clang)	16m 28s
HW Build (armv8a, gcc)	39m 9s
HW Build (armv8a, clang)	43m 13s
HW Build (nehalem, gcc)	6m 49s
HW Build (nehalem, clang)	8m 56s
HW Build (rv64imac, gcc)	9m 27s
HW Build (rv64imac, clang)	8m 50s
Matrix	13s
HW Run	0s
	2h 27m 39s