seL4Test

scheduler: resume does preempt #204

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	13m 42s
Simulation (armv7a, clang)	12m 26s
Simulation (armv8a, gcc)	3m 54s
Simulation (armv8a, clang)	3m 53s
Simulation (nehalem, gcc)	7m 45s
Simulation (nehalem, clang)	8m 53s
Simulation (rv32imac, gcc)	4m 52s
Simulation (rv32imac, clang)	9m 14s
Simulation (rv64imac, gcc)	5m 46s
Simulation (rv64imac, clang)	7m 49s
	1h 18m 14s