seL4Test Sim

morello: Add support for QEMU platform #362

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	9m 19s
Simulation (armv7a, clang)	8m 55s
Simulation (armv8a, gcc)	3m 46s
Simulation (armv8a, clang)	3m 49s
Simulation (nehalem, gcc)	7m 30s
Simulation (nehalem, clang)	8m 30s
Simulation (rv32imac, gcc)	4m 42s
Simulation (rv32imac, clang)	11m 46s
Simulation (rv64imac, gcc)	5m 49s
Simulation (rv64imac, clang)	10m 43s
	1h 14m 49s