seL4Test

CI: cancel older concurrent PR runs #188

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	12m 41s
Simulation (armv7a, clang)	12m 30s
Simulation (armv8a, gcc)	3m 59s
Simulation (armv8a, clang)	3m 50s
Simulation (nehalem, gcc)	7m 44s
Simulation (nehalem, clang)	9m 22s
Simulation (rv32imac, gcc)	8m 36s
Simulation (rv32imac, clang)	11m 49s
Simulation (rv64imac, gcc)	8m 1s
Simulation (rv64imac, clang)	10m 51s
	1h 29m 23s