diff options
| -rwxr-xr-x | bin/reproducible_scheduler.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bin/reproducible_scheduler.py b/bin/reproducible_scheduler.py index e0705f72..0a2139e7 100755 --- a/bin/reproducible_scheduler.py +++ b/bin/reproducible_scheduler.py @@ -250,8 +250,10 @@ def scheduler(): many_old = 15 # also... elif total <= 350: many_old = 10 # ... + elif total <= 450: + many_old = 5 # ... else: - many_old = 5 # ... + many_old = 1 # ... for suite in SUITES: if suite != 'experimental': many_old = many_old*10 # experimental is roughly one tenth of the size of the other suites |