seL4Test

make debug_print_bootinfo() a bit more verbose #183

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	12m 40s
Simulation (armv7a, clang)	12m 37s
Simulation (armv8a, gcc)	3m 51s
Simulation (armv8a, clang)	3m 56s
Simulation (nehalem, gcc)	7m 40s
Simulation (nehalem, clang)	8m 30s
Simulation (rv32imac, gcc)	4m 56s
Simulation (rv32imac, clang)	11m 44s
Simulation (rv64imac, gcc)	5m 56s
Simulation (rv64imac, clang)	10m 43s
	1h 22m 33s