fix(.github/workflows): support old macos versions (#222)

https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/Testing.20Lean.209.2E9.2E9/near/196914237
leanprover-community · May 8, 2020 · fb3f3e8 · fb3f3e8
1 parent ab5767c
commit fb3f3e8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/on-push.yml b/.github/workflows/on-push.yml
@@ -61,7 +61,7 @@ jobs:
           brew install coreutils
       - name: Configure
         run: |
-          cmake ../src -DCMAKE_BUILD_TYPE=${{ matrix.build_type }}
+          cmake ../src -DCMAKE_BUILD_TYPE=${{ matrix.build_type }} -DCMAKE_OSX_DEPLOYMENT_TARGET=10.12
         working-directory: ./build
       - name: Build
         run: |