Don't use macos 11

Temp workaround for cachix/install-nix-action#96 (comment)
apalache-mc · Oct 15, 2021 · ba5e97e · ba5e97e
1 parent 2aca5d1
commit ba5e97e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -68,7 +68,7 @@ jobs:
       # Allows other OS tests to proceed even if one fails
       fail-fast: false
       matrix:
-        operating-system: [ubuntu-latest, macos-latest]
+        operating-system: [ubuntu-latest, macos-10.15]
     steps:
       - uses: actions/checkout@v2
       - name: Cache nix store