diff options
| author | Tomas Krizek <tomas.krizek@nic.cz> | 2020-12-07 10:42:30 +0100 |
|---|---|---|
| committer | Tomas Krizek <tomas.krizek@nic.cz> | 2020-12-08 11:32:26 +0100 |
| commit | 71d93e64e07814621e0f7f14b074ef0ca65eaade (patch) | |
| tree | 14bf18ed2831196deb704039b7e623f97ba59af4 /ci | |
| parent | Merge branch '636-doh2-restrict-configure-uri-path-endpoints' into 'master' (diff) | |
| download | knot-resolver-71d93e64e07814621e0f7f14b074ef0ca65eaade.tar.xz knot-resolver-71d93e64e07814621e0f7f14b074ef0ca65eaade.zip | |
ci: improve GH actions error handling
Diffstat (limited to 'ci')
| -rwxr-xr-x | ci/gh_actions.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/ci/gh_actions.py b/ci/gh_actions.py index 849ffff4..c452c69b 100755 --- a/ci/gh_actions.py +++ b/ci/gh_actions.py @@ -32,8 +32,9 @@ while time.time() < end_time: conclusion = run['conclusion'] html_url = run['html_url'] commit_sha = run['head_sha'] - except KeyError: - pass + except (KeyError, IndexError): + time.sleep(POLL_DELAY) + continue if commit_sha != sys.argv[2]: exit("Fetched invalid GH Action: commit mismatch. Re-run or push again?") |