seL4Test

CMake: allow skipping include of settings.cmake #160

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	12m 35s
Simulation (armv7a, clang)	12m 34s
Simulation (armv8a, gcc)	3m 54s
Simulation (armv8a, clang)	3m 56s
Simulation (nehalem, gcc)	7m 35s
Simulation (nehalem, clang)	8m 32s
Simulation (rv32imac, gcc)	5m 9s
Simulation (rv32imac, clang)	11m 43s
Simulation (rv64imac, gcc)	5m 52s
Simulation (rv64imac, clang)	10m 37s
	1h 22m 27s