seL4Test-Sim

trivial: fix typo in comment #405

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 30s
Simulation (armv8a, gcc)	3m 53s
Simulation (armv8a, clang)	3m 57s
Simulation (nehalem, gcc)	7m 37s
Simulation (nehalem, clang)	8m 39s
Simulation (rv32imac, gcc)	5m 4s
Simulation (rv32imac, clang)	11m 45s
Simulation (rv64imac, gcc)	5m 49s
Simulation (rv64imac, clang)	10m 45s
	1h 22m 34s