ci: allow extra sync time for macos GH action

diff --git a/ci/gh_actions.py b/ci/gh_actions.py
index c452c69bb37e93674d96f7dac41e3b25f690f3bb..8fe05b688298da427636d4fec6295072fd5700af 100755 (executable)
--- a/ci/gh_actions.py
+++ b/ci/gh_actions.py
@@ -8,8 +8,9 @@ import requests
 
 
 BRANCH_API_ENDPOINT = "https://api.github.com/repos/CZ-NIC/knot-resolver/actions/runs?branch={branch}"  # noqa
-TIMEOUT = 15*60  # 15 mins max
+TIMEOUT = 20*60  # 20 mins max
 POLL_DELAY = 60
+SYNC_TIMEOUT = 10*60
 
 
 def exit(msg='', html_url='', code=1):
@@ -19,6 +20,7 @@ def exit(msg='', html_url='', code=1):
 
 
 end_time = time.time() + TIMEOUT
+sync_timeout = time.time() + SYNC_TIMEOUT
 while time.time() < end_time:
     response = requests.get(
         BRANCH_API_ENDPOINT.format(branch=sys.argv[1]),
@@ -37,6 +39,9 @@ while time.time() < end_time:
             continue
 
         if commit_sha != sys.argv[2]:
+            if time.time() < sync_timeout:
+                time.sleep(POLL_DELAY)
+                continue
             exit("Fetched invalid GH Action: commit mismatch. Re-run or push again?")
 
         if conclusion is None: