seL4Test

make debug_print_bootinfo() a bit more verbose #172

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	9m 19s
Simulation (armv7a, clang)	8m 53s
Simulation (armv8a, gcc)	3m 56s
Simulation (armv8a, clang)	3m 48s
Simulation (nehalem, gcc)	7m 33s
Simulation (nehalem, clang)	8m 35s
Simulation (rv32imac, gcc)	4m 59s
Simulation (rv32imac, clang)	11m 49s
Simulation (rv64imac, gcc)	5m 46s
Simulation (rv64imac, clang)	10m 38s
	1h 15m 16s