diff options
author | jackpoz <giacomopoz@gmail.com> | 2020-04-04 21:12:41 +0200 |
---|---|---|
committer | jackpoz <giacomopoz@gmail.com> | 2020-04-05 19:10:55 +0200 |
commit | 32c9f1c7a228db33110ab0ab5975ba37cba85106 (patch) | |
tree | d7c4f1e021c83080f730bc3af1f4d0e89ebe3e0f /.circleci | |
parent | 404dbcdcf6bd09202cf58a4064a127e7f303b9b2 (diff) |
CI/Circle CI: Enforce codestyle checks
Diffstat (limited to '.circleci')
-rw-r--r-- | .circleci/config.yml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index c8c4e0b792c..cd0214245d6 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -14,6 +14,11 @@ jobs: command: | /scripts/checkout.sh - run: + name: Codestyle checks + command: | + chmod +x contrib/check_codestyle.sh + ./contrib/check_codestyle.sh + - run: name: Setup command: | mkdir bin |