seL4Test

add test for round robin threads #207

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	12m 20s
Simulation (armv7a, clang)	12m 29s
Simulation (armv8a, gcc)	3m 41s
Simulation (armv8a, clang)	3m 44s
Simulation (nehalem, gcc)	7m 39s
Simulation (nehalem, clang)	8m 26s
Simulation (rv32imac, gcc)	4m 52s
Simulation (rv32imac, clang)	9m 24s
Simulation (rv64imac, gcc)	5m 37s
Simulation (rv64imac, clang)	7m 41s
	1h 15m 53s