aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>2017-10-05 11:21:59 +0200
committerGravatar Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>2017-10-05 11:22:26 +0200
commitae0d9d3bc64171de60ccc6754b5836a89190a601 (patch)
tree1a71105dc78eb02cc26e1472b338f517c7e4ec6c
parent2b9a34e2ffb2bf066b3b0f8452e35622519cae1c (diff)
[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.
-rw-r--r--.travis.yml8
1 files changed, 0 insertions, 8 deletions
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