seL4Test

Updating default.xml #330

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	3h 3m 13s
Simulation (armv7a, clang)	3h 3m 31s
Simulation (armv8a, gcc)	1h 1m 51s
Simulation (armv8a, clang)	1h 1m 51s
Simulation (nehalem, gcc)	2h 2m 15s
Simulation (nehalem, clang)	2h 2m 48s
Simulation (rv32imac, gcc)	1h 22m 25s
Simulation (rv64imac, gcc)	1h 22m 24s
	15h 0m 18s