seL4Test-Sim

libplatsupport: use proper return type #403

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	12m 39s
Simulation (armv7a, clang)	12m 39s
Simulation (armv8a, gcc)	3m 54s
Simulation (armv8a, clang)	3m 57s
Simulation (nehalem, gcc)	7m 48s
Simulation (nehalem, clang)	8m 50s
Simulation (rv32imac, gcc)	5m 11s
Simulation (rv32imac, clang)	12m 6s
Simulation (rv64imac, gcc)	5m 55s
Simulation (rv64imac, clang)	10m 47s
	1h 23m 46s