arduino/esp8266
1
0
Fork 0
mirror of https://github.com/esp8266/Arduino.git synced 2025-04-19 23:22:16 +03:00
Code

wip

Browse Source
This commit is contained in:
David Gauchard 2018-12-13 12:12:27 +01:00
parent 4c56a8c462
commit e1e1bb3e21
2 changed files with 7 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
.travis.yml
View File

@ -83,11 +83,13 @@ 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(CI_GITHUB_API_KEY) IS present # 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) = ""
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
# TRAVIS_PULL_REQUEST is set to the pull request number if the current job is a pull request build, or false if it’s not.
deploy: deploy:
# Create Github release, upload artifacts # Create Github release, upload artifacts
- provider: releases - provider: releases

5
package/build_boards_manager_package.sh
View File

@ -133,8 +133,9 @@ fi
curl_gh_token_arg=(-H "Authorization: token $CI_GITHUB_API_KEY") curl_gh_token_arg=(-H "Authorization: token $CI_GITHUB_API_KEY")
# test # test
echo "key was '$CI_GITHUB_API_KEY'" #echo "key was '$CI_GITHUB_API_KEY'"
CI_GITHUB_API_KEY="vt6StBC+ghqnh8YrreNo3wAzGGddJ2S4YpVZkz4S84xLEGWkIEghQhTrjlhzjBsrnHfLNko4tz9EsNx0yQ8yBlPOdReETGAkqnAU7PSPFss0qGcCRUXYtozNjbFQq6TWIxECK4xq40R9tE6NyeOpm9AYJtwF/v18u2T+T9qSgGQ=" # this key (below) is working, the overwritten key is not empty
#CI_GITHUB_API_KEY="vt6StBC+ghqnh8YrreNo3wAzGGddJ2S4YpVZkz4S84xLEGWkIEghQhTrjlhzjBsrnHfLNko4tz9EsNx0yQ8yBlPOdReETGAkqnAU7PSPFss0qGcCRUXYtozNjbFQq6TWIxECK4xq40R9tE6NyeOpm9AYJtwF/v18u2T+T9qSgGQ="
# Get previous release name # Get previous release name
echo "======== curl dumped header" echo "======== curl dumped header"