mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-01-18 12:52:44 +01:00
parent
ddb8127374
commit
32cacd1743
2
dist/tools/ci/build_and_test.sh
vendored
2
dist/tools/ci/build_and_test.sh
vendored
@ -92,7 +92,7 @@ then
|
||||
run ./dist/tools/pr_check/pr_check.sh ${CI_BASE_BRANCH}
|
||||
run ./dist/tools/coccinelle/check.sh
|
||||
run ./dist/tools/flake8/check.sh
|
||||
QUIET=1 run ./dist/tools/headerguards/check.sh
|
||||
run ./dist/tools/headerguards/check.sh
|
||||
exit $RESULT
|
||||
fi
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user