seL4Test

make debug_print_bootinfo() a bit more verbose #185

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	22m 33s
Simulation (armv7a, clang)	12m 23s
Simulation (armv8a, gcc)	3m 53s
Simulation (armv8a, clang)	3m 51s
Simulation (nehalem, gcc)	7m 19s
Simulation (nehalem, clang)	8m 38s
Simulation (rv32imac, gcc)	5m 4s
Simulation (rv32imac, clang)	11m 58s
Simulation (rv64imac, gcc)	5m 48s
Simulation (rv64imac, clang)	10m 50s
	1h 32m 17s