seL4Test

make debug_print_bootinfo() a bit more verbose #186

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	12m 35s
Simulation (armv7a, clang)	12m 32s
Simulation (armv8a, gcc)	3m 52s
Simulation (armv8a, clang)	3m 58s
Simulation (nehalem, gcc)	7m 42s
Simulation (nehalem, clang)	8m 43s
Simulation (rv32imac, gcc)	5m 8s
Simulation (rv32imac, clang)	11m 47s
Simulation (rv64imac, gcc)	5m 53s
Simulation (rv64imac, clang)	10m 55s
	1h 23m 5s