seL4Test

make debug_print_bootinfo() a bit more verbose #182

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	12m 36s
Simulation (armv7a, clang)	12m 29s
Simulation (armv8a, gcc)	3m 58s
Simulation (armv8a, clang)	4m 1s
Simulation (nehalem, gcc)	7m 46s
Simulation (nehalem, clang)	8m 28s
Simulation (rv32imac, gcc)	5m 8s
Simulation (rv32imac, clang)	11m 54s
Simulation (rv64imac, gcc)	6m 1s
Simulation (rv64imac, clang)	10m 46s
	1h 23m 7s