scheduler: Replace the input parameter of AddScheduler with types.CheckerSchedulerType. #21057
Job | Run time |
---|---|
5m 4s | |
3m 47s | |
5m 3s | |
5m 9s | |
4m 53s | |
6m 6s | |
5m 34s | |
5m 8s | |
3m 48s | |
5m 5s | |
21s | |
49m 58s |
Job | Run time |
---|---|
5m 4s | |
3m 47s | |
5m 3s | |
5m 9s | |
4m 53s | |
6m 6s | |
5m 34s | |
5m 8s | |
3m 48s | |
5m 5s | |
21s | |
49m 58s |