seL4Test

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	9m 28s
Simulation (armv7a, clang)	9m 17s
Simulation (armv8a, gcc)	3m 49s
Simulation (armv8a, clang)	4m 1s
Simulation (nehalem, gcc)	7m 38s
Simulation (nehalem, clang)	8m 33s
Simulation (rv32imac, gcc)	5m 6s
Simulation (rv32imac, clang)	9m 16s
Simulation (rv64imac, gcc)	5m 56s
Simulation (rv64imac, clang)	9m 5s
	1h 12m 9s