From ed4a399cd7d7738c920aafabff749c742ef1ebc8 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Fri, 16 Apr 2021 12:10:45 +0200
Subject: Remove macOS dmg build.

Now that the platform takes care of it.
---
 .github/workflows/ci.yml | 15 ---------------
 1 file changed, 15 deletions(-)

(limited to '.github')

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 7ec3ba1bd7..744fe1c743 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -74,18 +74,3 @@ jobs:
           make -j "$NJOBS" test-suite PRINT_LOGS=1
         env:
           NJOBS: "2"
-
-      - name: Create the dmg bundle
-        run: |
-          eval $(opam env)
-          export PKG_CONFIG_PATH=/usr/local/opt/libffi/lib/pkgconfig
-          export OUTDIR="$(pwd)/_install_ci"
-          ./dev/build/osx/make-macos-dmg.sh
-        env:
-          MACOSX_DEPLOYMENT_TARGET: "10.11"
-          NJOBS: "2"
-
-      - uses: actions/upload-artifact@v2
-        with:
-          name: coq-macOS-installer
-          path: _build/*.dmg
-- 
cgit v1.2.3