seL4Test-Sim

cmake: group arch specific handling #515

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 22s
Simulation (armv8a, gcc)	3m 39s
Simulation (armv8a, clang)	3m 51s
Simulation (nehalem, gcc)	7m 33s
Simulation (nehalem, clang)	8m 51s
Simulation (rv32imac, gcc)	4m 49s
Simulation (rv32imac, clang)	9m 11s
Simulation (rv64imac, gcc)	5m 48s
Simulation (rv64imac, clang)	17m 45s
	1h 26m 16s