ci: run on two macOS platforms

Docs say that -latest is 10.15.  11 runners are probably on ARM,
so there may be notable differences.

diff --git a/.github/workflows/macOS.yaml b/.github/workflows/macOS.yaml
index 73c37e3861ef3c5eb2b0570d63f7760d1d23af49..2004f4712d3feaf4bed1bfbc44b7ad1b9d90cb80 100644 (file)
--- a/.github/workflows/macOS.yaml
+++ b/.github/workflows/macOS.yaml
@@ -5,7 +5,8 @@ on: push
 jobs:
   build-test:
     name: Build & unit tests & sanity check
-    runs-on: macOS-latest
+    # https://docs.github.com/en/free-pro-team@latest/actions/reference/workflow-syntax-for-github-actions#github-hosted-runners
+    runs-on: [ macOS-latest, macos-11.0 ]
 
     steps:
       - name: Checkout resolver code

diff --git a/ci/gh_actions.py b/ci/gh_actions.py
index c452c69bb37e93674d96f7dac41e3b25f690f3bb..fc025fd54956dccaf16217ea6113edcb67c16966 100755 (executable)
--- a/ci/gh_actions.py
+++ b/ci/gh_actions.py
@@ -28,10 +28,11 @@ while time.time() < end_time:
     elif response.status_code == 200:
         data = json.loads(response.content.decode('utf-8'))
         try:
-            run = data['workflow_runs'][0]
-            conclusion = run['conclusion']
-            html_url = run['html_url']
-            commit_sha = run['head_sha']
+            for i in range(0, 1): # two runs ATM
+                run = data['workflow_runs'][i]
+                conclusion = run['conclusion']
+                html_url = run['html_url']
+                commit_sha = run['head_sha']
         except (KeyError, IndexError):
             time.sleep(POLL_DELAY)
             continue