diff options
| author | coqbot-app[bot] | 2021-04-18 14:16:52 +0000 |
|---|---|---|
| committer | GitHub | 2021-04-18 14:16:52 +0000 |
| commit | 9fe4108289f584461b5dc7af08095d6279a222af (patch) | |
| tree | 836097080c51b0529c23287890c29cafb2542571 /.github | |
| parent | f67f789aa967fc4061861177cc2827ba9b2d2510 (diff) | |
| parent | ed4a399cd7d7738c920aafabff749c742ef1ebc8 (diff) | |
Merge PR #14122: Remove macOS dmg build.
Reviewed-by: ejgallego
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 15 |
1 files changed, 0 insertions, 15 deletions
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 |