ci: Add ci_lint_ci.sh and .shellcheckrc

Add ci_lint_ci.sh for linting the CI config files and scripts.
The linting is based on yamllint and shellcheck.
This commit is contained in:
Cosmin Truta
2023-07-04 00:12:32 +03:00
parent c0616f1017
commit 82414985c1
5 changed files with 89 additions and 0 deletions

7
ci/.shellcheckrc Normal file
View File

@@ -0,0 +1,7 @@
# Disable all the "quote to prevent globbing or word splitting" advice.
# We need word splitting for well-known variables like MAKEFLAGS and CFLAGS.
disable=SC2086,SC2206
# Disable the "possible misspelling" warnings that might be flagged, e.g.,
# inside function ci_trace_build.
disable=SC2153