seL4Test

make debug_print_bootinfo() a bit more verbose #189

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	12m 46s
Simulation (armv7a, clang)	12m 35s
Simulation (armv8a, gcc)	3m 52s
Simulation (armv8a, clang)	3m 55s
Simulation (nehalem, gcc)	7m 50s
Simulation (nehalem, clang)	8m 47s
Simulation (rv32imac, gcc)	5m 34s
Simulation (rv32imac, clang)	11m 45s
Simulation (rv64imac, gcc)	5m 55s
Simulation (rv64imac, clang)	10m 42s
	1h 23m 41s