seL4Test Sim

github: retire pr-queue action #363

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	9m 9s
Simulation (armv7a, clang)	8m 54s
Simulation (armv8a, gcc)	3m 53s
Simulation (armv8a, clang)	3m 50s
Simulation (nehalem, gcc)	7m 33s
Simulation (nehalem, clang)	8m 40s
Simulation (rv32imac, gcc)	4m 59s
Simulation (rv32imac, clang)	55m 26s
Simulation (rv64imac, gcc)	5m 45s
Simulation (rv64imac, clang)	10m 38s
	1h 58m 47s