diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-10-06 11:03:27 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-10-06 11:03:27 +0200 |
commit | 338f511349d8c8d3990602db3ce0115cd174bdbf (patch) | |
tree | 496a73658ff723342ba1f5cea54670061975b788 /.travis.yml | |
parent | 2aac4ae818fec0d409da31ef9da83796d871d687 (diff) | |
parent | ae0d9d3bc64171de60ccc6754b5836a89190a601 (diff) |
Merge PR #1123: [ci] Remove deploy to GitHub of OS X package.
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 6c77f0059..1a9f6964f 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 |