mirror of
https://github.com/esp8266/Arduino.git
synced 2025-04-19 23:22:16 +03:00
0aab6ecee2
- split workflows into separate files to trigger by path
this should help out documentation and boards / eboot / pkg files
updates, since those *wont* trigger usual build stuff anymore
- build*.sh whatever merged into just common.sh and build.sh
trigger different parity builds, mod % rem and allow to set .ino list
through the environment variable
- removes unnecessary temporary files, try to use more pipes
move remaining ones into cache dir instead of PWD
- remove legacy TRAVIS env vars, use ESP8266_ARDUINO prefix for config
- remove Windows path workarounds
- hardware/ and ide/ directories are set through envionment
do not force specific paths, simplify builds on local machine
- sketch list is set through environment. expicit paths for Windows and
macOS builders. platformio also gets a real shuffled list instead of
mod and rem magic numbers
- detect root of the repo through git cli, not base{name,dir} or relative paths
19 lines
431 B
Bash
Executable File
19 lines
431 B
Bash
Executable File
#!/bin/bash
|
|
#
|
|
# CI job for checking examples style
|
|
|
|
set -e -x
|
|
|
|
git --version || true
|
|
root=$(git rev-parse --show-toplevel)
|
|
|
|
# Run formatter and compare what changed in the git tree.
|
|
# Also revert changes which formatter might have done to the submodules,
|
|
# as we don't want to fail the build because of the 3rd party libraries
|
|
|
|
cd $root
|
|
./tests/restyle.sh
|
|
|
|
git submodule foreach --recursive 'git reset --hard'
|
|
git diff --exit-code
|