diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-10-05 11:21:59 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-10-05 11:22:26 +0200 |
| commit | ae0d9d3bc64171de60ccc6754b5836a89190a601 (patch) | |
| tree | 1a71105dc78eb02cc26e1472b338f517c7e4ec6c /.travis.yml | |
| parent | 2b9a34e2ffb2bf066b3b0f8452e35622519cae1c (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.
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 8 |
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 |