arduino/esp8266
1
0
Fork 0
mirror of https://github.com/esp8266/Arduino.git synced 2025-07-29 05:21:37 +03:00
Code Activity

ci: fix checking CI_GITHUB_API_KEY, refactoring (#5496)

Browse Source 
* ci: fix checking for presence of CI_GITHUB_API_KEY

CI_GITHUB_API_KEY is always set when evaluating job include/exclude conditions, and it only gets removed when the job starts. Move the check into the script.

* ci: split build jobs into separate shell scripts
This commit is contained in:
Ivan Grokhotkov
2018-12-15 09:58:30 +08:00
committed by david gauchard
parent 64f7147da3
commit 79553e539a
8 changed files with 96 additions and 93 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
tests/ci/build_package.sh Executable file
View File

@ -0,0 +1,16 @@
#!/bin/bash
#
# CI job which builds the boards manager package
set -ev
export PKG_URL=https://github.com/esp8266/Arduino/releases/download/$TRAVIS_TAG/esp8266-$TRAVIS_TAG.zip
export DOC_URL=https://arduino-esp8266.readthedocs.io/en/$TRAVIS_TAG/
if [ -z "$CI_GITHUB_API_KEY" ]; then
echo "Github API key not set. Skip building the package."
exit 0
fi
cd $TRAVIS_BUILD_DIR/package
./build_boards_manager_package.sh