commit | 82414985c1085737bccd3eedb0aaa997451f5d32 | [log] [tgz] |
---|---|---|
author | Cosmin Truta <ctruta@gmail.com> | Tue Jul 04 00:12:32 2023 +0300 |
committer | Cosmin Truta <ctruta@gmail.com> | Tue Jul 04 00:12:32 2023 +0300 |
tree | 2dd719fb2d9bcec5391646e8dd7c6ff292f2533b | |
parent | c0616f10171cc83e7c69697ec275b112b7ab1184 [diff] |
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.