Commit graph

6 commits

Author SHA1 Message Date
ccf9798aa9 travis-deploy: use deploy script provider 2017-07-15 14:59:20 +01:00
d0cd94a847 travis-deploy: fix equality operator 2017-07-15 14:12:10 +01:00
1e17ffdde3 travis-ci: deploy master only after PR is merged
Without this, Travis CI will create two deploys, one for the PR and one
after the PR is merged. We only want the merged version to be deployed.
2017-05-30 22:41:53 +01:00
12a0e72758 travis-ci: deploy master even when a pull request 2017-05-30 20:52:29 +01:00
5e7bf3df8d travis: more verbose deploy 2017-05-28 20:45:34 +01:00
8a5e0badb0 travis: enable deploy to nexus 2017-05-28 20:32:53 +01:00