seL4Test

improve RISC-V multi core boot #385

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	9m 16s
Simulation (armv7a, clang)	9m 41s
Simulation (armv8a, gcc)	3m 50s
Simulation (armv8a, clang)	3m 56s
Simulation (nehalem, gcc)	7m 41s
Simulation (nehalem, clang)	8m 35s
Simulation (rv32imac, gcc)	5m 4s
Simulation (rv32imac, clang)	11m 50s
Simulation (rv64imac, gcc)	5m 46s
Simulation (rv64imac, clang)	10m 37s
	1h 16m 16s