From bce2c99831098c469925ef783cd1cd296e3bf79b Mon Sep 17 00:00:00 2001
From: David Gauchard <gauchard@laas.fr>
Date: Thu, 13 Dec 2018 12:31:46 +0100
Subject: [PATCH] wip

---
 .travis.yml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 1b4a0c5cf..eefa6f8c9 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -78,8 +78,7 @@ jobs:
     # Deploy stage.
     # Here we build the package JSON (always) and do the deployments
     - name: "Package / deploy"
-      # require the branch name to NOT be master (note for PRs this is the base branch name)
-      if: branch != master
+      if: type != pull_request
       stage: deploy
       script: $TRAVIS_BUILD_DIR/tests/common.sh
       env: BUILD_TYPE=package