seL4Test

use config_set only for boolean config values #195

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	12m 21s
Simulation (armv7a, clang)	12m 27s
Simulation (armv8a, gcc)	3m 46s
Simulation (armv8a, clang)	3m 52s
Simulation (nehalem, gcc)	7m 33s
Simulation (nehalem, clang)	8m 23s
Simulation (rv32imac, gcc)	4m 58s
Simulation (rv32imac, clang)	9m 16s
Simulation (rv64imac, gcc)	5m 35s
Simulation (rv64imac, clang)	7m 54s
	1h 16m 5s