seL4Test

add test for round robin threads #209

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	12m 28s
Simulation (armv7a, clang)	12m 37s
Simulation (armv8a, gcc)	3m 45s
Simulation (armv8a, clang)	3m 54s
Simulation (nehalem, gcc)	7m 41s
Simulation (nehalem, clang)	8m 47s
Simulation (rv32imac, gcc)	4m 59s
Simulation (rv32imac, clang)	9m 20s
Simulation (rv64imac, gcc)	5m 42s
Simulation (rv64imac, clang)	7m 41s
	1h 16m 54s