Merge pull request #108 from msakai/github-actions-intel-mac

GitHub Actions: use Intel Mac
msakai · May 21, 2024 · 960426c · 960426c
2 parents 1c40c36 + a3e43e2
commit 960426c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
@@ -31,7 +31,7 @@ jobs:
             flags: '--flag toysolver:BuildToyFMF --flag toysolver:BuildSamplePrograms --flag toysolver:BuildMiscPrograms'
             release: true
           - ghc: '9.0.2'
-            os: macos-latest
+            os: macos-13  # Intel Mac
             stack_yaml: 'stack-ghc-9.0.yaml'
             stack_args: ''
             flags: '--flag toysolver:BuildToyFMF --flag toysolver:BuildSamplePrograms --flag toysolver:BuildMiscPrograms'