diff options
author | Adrien Ferrand <adferrand@users.noreply.github.com> | 2019-03-02 04:16:22 +0300 |
---|---|---|
committer | Brad Warren <bmw@users.noreply.github.com> | 2019-03-02 04:16:22 +0300 |
commit | bf1f83f47b49f746f1cd54076749a08e7b04250d (patch) | |
tree | 65e262da97367aada3bdf5fb78a311ed352fd0e3 /.travis.yml | |
parent | 3ed3787bd8792d6ed5c58537a66425a503107721 (diff) |
Revert "Disable build for commits pushed on master (#6804)" (#6807)
By removing all the builds on push to master, done in #6804, we also removing the coveralls reports that are necessary to calculate the effect of a PR on code coverage, that is part of the quality gate process.
This PR is reverting #6804, and another implementation preserving the coveralls reports will be done soon.
This reverts commit a468a3b255e326dbfa2b7d629eb20fa275631254.
Diffstat (limited to '.travis.yml')
-rw-r--r-- | .travis.yml | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/.travis.yml b/.travis.yml index 108f853aa..4adab1e4e 100644 --- a/.travis.yml +++ b/.travis.yml @@ -18,11 +18,6 @@ branches: - /^\d+\.\d+\.x$/ - /^test-.*$/ -# Since master can receive only commits from PR that have already been tested, we avoid with the -# the following condition to launch again a pipeline when the merge commit is pushed to master. -# However master still needs to be set in branches section to allow PR for master to be built. -if: NOT (type = push AND branch = master) - matrix: include: # These environments are always executed |