seL4Test

CI: cancel older concurrent PR runs #187

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	12m 38s
Simulation (armv7a, clang)	12m 27s
Simulation (armv8a, gcc)	3m 39s
Simulation (armv8a, clang)	3m 51s
Simulation (nehalem, gcc)	7m 36s
Simulation (nehalem, clang)	8m 40s
Simulation (rv32imac, gcc)	5m 3s
Simulation (rv32imac, clang)	11m 51s
Simulation (rv64imac, gcc)	5m 54s
Simulation (rv64imac, clang)	10m 44s
	1h 22m 23s