diff options
author | Robin Gloster <mail@glob.in> | 2017-03-02 11:45:36 +0100 |
---|---|---|
committer | Robin Gloster <mail@glob.in> | 2017-03-02 11:46:17 +0100 |
commit | c5367a4409891ae5ea9aa564175a115bc6a83976 (patch) | |
tree | 0df632a7a876fd57f5d0a48211a274eefe7fc8a2 /maintainers | |
parent | 0b7861dc7fc02f93a63f68bdd9104c41b272c00b (diff) |
maintainers/hydra-eval-failures: flush stdout more often
Diffstat (limited to 'maintainers')
-rwxr-xr-x | maintainers/scripts/hydra-eval-failures.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/maintainers/scripts/hydra-eval-failures.py b/maintainers/scripts/hydra-eval-failures.py index 1b5df32c452f..b339f296056c 100755 --- a/maintainers/scripts/hydra-eval-failures.py +++ b/maintainers/scripts/hydra-eval-failures.py @@ -5,6 +5,7 @@ import subprocess import json +import sys import click import requests @@ -75,12 +76,16 @@ def cli(jobset): a = pq(tr)('a')[1] print "- [ ] [{}]({})".format(a.text, a.get('href')) + sys.stdout.flush() + maintainers = get_maintainers(a.text) if maintainers: print " - maintainers: {}".format(", ".join(map(lambda u: '@' + u, maintainers))) # TODO: print last three persons that touched this file # TODO: pinpoint the diff that broke this build, or maybe it's transient or maybe it never worked? + sys.stdout.flush() + if __name__ == "__main__": try: |