seL4Test

make debug_print_bootinfo() a bit more verbose #192

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	12m 53s
Simulation (armv7a, clang)	12m 37s
Simulation (armv8a, gcc)	3m 53s
Simulation (armv8a, clang)	3m 57s
Simulation (nehalem, gcc)	7m 45s
Simulation (nehalem, clang)	8m 52s
Simulation (rv32imac, gcc)	5m 12s
Simulation (rv32imac, clang)	12m 41s
Simulation (rv64imac, gcc)	5m 52s
Simulation (rv64imac, clang)	10m 48s
	1h 24m 30s