mirror of
https://github.com/esp8266/Arduino.git
synced 2025-10-31 15:50:55 +03:00
79553e539a
* 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
17 lines
425 B
Bash
Executable File
17 lines
425 B
Bash
Executable File
#!/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
|