seL4Test-Sim

Update libftd to v1.7.0 #399

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	3h 3m 15s
Simulation (armv7a, clang)	3h 3m 31s
Simulation (armv8a, gcc)	1h 1m 45s
Simulation (armv8a, clang)	1h 1m 52s
Simulation (nehalem, gcc)	2h 2m 10s
Simulation (nehalem, clang)	2h 2m 47s
Simulation (rv32imac, gcc)	1h 22m 24s
Simulation (rv32imac, clang)	1h 22m 20s
Simulation (rv64imac, gcc)	1h 22m 19s
Simulation (rv64imac, clang)	1h 22m 27s
	17h 44m 50s