16 lines
425 B
Bash
Executable file
16 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/$GITHUB_REF/esp8266-$GITHUB_REF.zip
|
|
export DOC_URL=https://arduino-esp8266.readthedocs.io/en/$GITHUB_REF/
|
|
|
|
if [ -z "$CI_GITHUB_API_KEY" ]; then
|
|
echo "Github API key not set. Skip building the package."
|
|
exit 0
|
|
fi
|
|
|
|
cd $GITHUB_WORKSPACE/package
|
|
./build_boards_manager_package.sh
|