diff options
Diffstat (limited to 'bin/reproducible_remote_scheduler.py')
| -rwxr-xr-x | bin/reproducible_remote_scheduler.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_remote_scheduler.py b/bin/reproducible_remote_scheduler.py index 47c345c4..cd1eaad6 100755 --- a/bin/reproducible_remote_scheduler.py +++ b/bin/reproducible_remote_scheduler.py @@ -298,4 +298,4 @@ if not (local and requester == "jenkins maintenance job") and len(ids) != 0: if not dry_run: irc_msg(message) -generate_schedule(arch) # update the html page +generate_schedule(arch) # update the HTML page |