From ae0d9d3bc64171de60ccc6754b5836a89190a601 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>
Date: Thu, 5 Oct 2017 11:21:59 +0200
Subject: [ci] Remove deploy to GitHub of OS X package.

This is inconvenient because it can only be tested on tags
and it didn't work for V8.7+beta1.
---
 .travis.yml | 8 --------
 1 file changed, 8 deletions(-)

(limited to '.travis.yml')

diff --git a/.travis.yml b/.travis.yml
index 6c926aacb..eae4f0ed6 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -173,14 +173,6 @@ matrix:
         skip_cleanup: true
         on:
           all_branches: true
-      - provider: releases
-        api_key:
-          secure: "Z/ewvydCLXEhlBBtQGYm2nZ8o+2RP+MwA5uEDuu6mEpZttUZAYaoHivChxADLXz8LNKvUloIeBeIL/PrLk6QnhSur/s2iEYHssrnl99SkAPtoWggyfsdacuKLMkpLoZGOBIEYKPuXuEZyqvugSUO42rSya1zdjcnXc4l+E/bXMc="
-        file: _build/*.dmg
-        skip_cleanup: true
-        on:
-          tags: true
-          repo: coq/coq
 
 before_install:
 - if [ "${TRAVIS_PULL_REQUEST}" != "false" ]; then echo "Tested commit (followed by parent commits):"; git log -1; for commit in `git log -1 --format="%P"`; do echo; git log -1 $commit; done; fi
-- 
cgit v1.2.3