seL4Test

[patch-axel-4] add sanity check for configuration #63

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	9m 17s
Simulation (armv7a, clang)	9m 6s
Simulation (armv8a, gcc)	3m 53s
Simulation (armv8a, clang)	3m 52s
Simulation (nehalem, gcc)	7m 47s
Simulation (nehalem, clang)	8m 46s
Simulation (rv32imac, gcc)	5m 3s
Simulation (rv32imac, clang)	9m 8s
Simulation (rv64imac, gcc)	5m 55s
Simulation (rv64imac, clang)	7m 7s
	1h 9m 54s