1
0
mirror of https://github.com/esp8266/Arduino.git synced 2025-04-19 23:22:16 +03:00
This commit is contained in:
David Gauchard 2018-12-13 12:21:06 +01:00
parent e1e1bb3e21
commit ebe129c083

View File

@ -13,11 +13,6 @@ cache:
directories:
- $HOME/astyle
#useless?
#stages:
# - build
# - deploy
jobs:
include:
# Build stage. To save time, run all kinds of builds and tests in parallel.
@ -83,10 +78,8 @@ jobs:
# Deploy stage.
# Here we build the package JSON (always) and do the deployments
- name: "Package / deploy"
# TRAVIS_PULL_REQUEST_BRANCH:
# if the current job is a pull request, the name of the branch from which the PR originated.
# if the current job is a push build, this variable is empty ("").
if: env(TRAVIS_PULL_REQUEST_BRANCH) = ""
# require the branch name to NOT be master (note for PRs this is the base branch name)
if: branch != master
stage: deploy
script: $TRAVIS_BUILD_DIR/tests/common.sh
env: BUILD_TYPE=package