seL4Test

CMake: allow skipping include of settings.cmake #200

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	12m 27s
Simulation (armv7a, clang)	12m 31s
Simulation (armv8a, gcc)	3m 43s
Simulation (armv8a, clang)	3m 48s
Simulation (nehalem, gcc)	7m 37s
Simulation (nehalem, clang)	8m 27s
Simulation (rv32imac, gcc)	4m 58s
Simulation (rv32imac, clang)	9m 10s
Simulation (rv64imac, gcc)	5m 48s
Simulation (rv64imac, clang)	7m 46s
	1h 16m 15s