mirror of
https://github.com/esp8266/Arduino.git
synced 2025-11-03 14:33:37 +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
10 lines
116 B
Bash
Executable File
10 lines
116 B
Bash
Executable File
#!/bin/bash
|
|
#
|
|
# CI job to run the documentation build
|
|
|
|
set -ev
|
|
|
|
cd $TRAVIS_BUILD_DIR/doc
|
|
|
|
SPHINXOPTS="-W" make html
|