seL4Test

vspace004: allocate a cap for the final pool #225

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	8m 57s
Simulation (armv7a, clang)	9m 19s
Simulation (armv8a, gcc)	3m 4s
Simulation (armv8a, clang)	3m 12s
Simulation (nehalem, gcc)	5m 41s
Simulation (nehalem, clang)	6m 33s
Simulation (rv32imac, gcc)	3m 54s
Simulation (rv32imac, clang)	6m 32s
Simulation (rv64imac, gcc)	4m 39s
Simulation (rv64imac, clang)	6m 18s
	58m 9s