seL4Test-HW

libplatsupport: separate drivers from platforms #329

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
HW Build (armv7a, gcc)	13m 58s
HW Build (armv7a, clang)	16m 27s
HW Build (armv8a, gcc)	39m 14s
HW Build (armv8a, clang)	42m 37s
HW Build (nehalem, gcc)	6m 42s
HW Build (nehalem, clang)	8m 51s
HW Build (rv64imac, gcc)	9m 25s
HW Build (rv64imac, clang)	8m 34s
Matrix	13s
HW Run	0s
	2h 26m 1s