1
0
mirror of https://github.com/esp8266/Arduino.git synced 2025-08-11 09:43:08 +03:00
This commit is contained in:
David Gauchard
2018-12-13 12:31:46 +01:00
parent ebe129c083
commit bce2c99831

View File

@@ -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