1
0
mirror of https://github.com/esp8266/Arduino.git synced 2025-04-21 10:26:06 +03:00

2 Commits

Author SHA1 Message Date
david gauchard
e7e7a4da17
prepare allman style (#5774) 2019-02-18 01:10:44 +01:00
Ivan Grokhotkov
79553e539a ci: fix checking CI_GITHUB_API_KEY, refactoring (#5496)
* 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
2018-12-15 02:58:30 +01:00