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

deploy task will successfully exit if no key is used

Browse Source
This commit is contained in:
david gauchard 2018-12-13 00:24:45 +01:00
parent 3d6e2866fa
commit dce8dce44f
2 changed files with 3 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.travis.yml
View File

@ -14,7 +14,7 @@ cache:
- $HOME/astyle - $HOME/astyle
stages: stages:
# - build - build
- deploy - deploy
jobs: jobs:

8
package/build_boards_manager_package.sh
View File

@ -124,15 +124,11 @@ fi
cat $srcdir/package/package_esp8266com_index.template.json | \ cat $srcdir/package/package_esp8266com_index.template.json | \
jq "$jq_arg" > package_esp8266com_index.json jq "$jq_arg" > package_esp8266com_index.json
#force
#echo "1=${CI_GITHUB_API_KEY}"
#CI_GITHUB_API_KEY="vt6StBC+ghqnh8YrreNo3wAzGGddJ2S4YpVZkz4S84xLEGWkIEghQhTrjlhzjBsrnHfLNko4tz9EsNx0yQ8yBlPOdReETGAkqnAU7PSPFss0qGcCRUXYtozNjbFQq6TWIxECK4xq40R9tE6NyeOpm9AYJtwF/v18u2T+T9qSgGQ="
#echo "2=${CI_GITHUB_API_KEY}"
# Use Github API token, if available # Use Github API token, if available
curl_gh_token_arg=() curl_gh_token_arg=()
if [ -z "$CI_GITHUB_API_KEY" ]; then if [ -z "$CI_GITHUB_API_KEY" ]; then
echo "curl: not using API key" echo "curl: API key not present, exit with no error"
exit 0
else else
curl_gh_token_arg=(-H "Authorization: token $CI_GITHUB_API_KEY") curl_gh_token_arg=(-H "Authorization: token $CI_GITHUB_API_KEY")
fi fi