Use macos version that supports x86 architecture.

Signed-off-by: Karolis Petrauskas <[email protected]>
tlaplus · May 5, 2024 · ed54ce0 · ed54ce0
1 parent cba4808
commit ed54ce0
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -11,7 +11,7 @@ jobs:
         strategy:
           fail-fast: false
           matrix:
-            os: [ubuntu-latest, macos-latest]
+            os: [ubuntu-latest, macos-13]
             ocaml-compiler: ['0', '1']
         env:
           EXAMPLES_DIR: "tlaplus-examples"

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -61,7 +61,7 @@ jobs:
         strategy:
             matrix:
                 operating-system: [
-                    macos-latest,
+                    macos-13,
                     ubuntu-latest]
                 ocaml-compiler: [
                     '2',