1
0
mirror of https://github.com/esp8266/Arduino.git synced 2025-06-20 21:01:25 +03:00
This commit is contained in:
David Gauchard
2018-12-13 12:04:11 +01:00
parent 1576aacb93
commit 4c56a8c462

View File

@ -83,7 +83,7 @@ jobs:
# Deploy stage. # Deploy stage.
# Here we build the package JSON (always) and do the deployments # Here we build the package JSON (always) and do the deployments
- name: "Package / deploy" - name: "Package / deploy"
if: env(TRAVIS_PULL_REQUEST) = "false" if: env(CI_GITHUB_API_KEY) IS present
stage: deploy stage: deploy
script: $TRAVIS_BUILD_DIR/tests/common.sh script: $TRAVIS_BUILD_DIR/tests/common.sh
env: BUILD_TYPE=package env: BUILD_TYPE=package