seL4Test-Sim

CI: cancel older concurrent PR runs #444

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	3h 3m 2s
Simulation (armv7a, clang)	3h 3m 38s
Simulation (armv8a, gcc)	1h 1m 46s
Simulation (armv8a, clang)	1h 1m 55s
Simulation (nehalem, gcc)	2h 2m 16s
Simulation (nehalem, clang)	2h 2m 48s
Simulation (rv32imac, gcc)	1h 22m 27s
Simulation (rv32imac, clang)	1h 22m 19s
Simulation (rv64imac, gcc)	1h 22m 25s
Simulation (rv64imac, clang)	1h 22m 22s
	17h 44m 58s