aboutsummaryrefslogtreecommitdiff
path: root/.circleci
diff options
context:
space:
mode:
authorjackpoz <giacomopoz@gmail.com>2020-04-04 21:12:41 +0200
committerjackpoz <giacomopoz@gmail.com>2020-04-05 19:10:55 +0200
commit32c9f1c7a228db33110ab0ab5975ba37cba85106 (patch)
treed7c4f1e021c83080f730bc3af1f4d0e89ebe3e0f /.circleci
parent404dbcdcf6bd09202cf58a4064a127e7f303b9b2 (diff)
CI/Circle CI: Enforce codestyle checks
Diffstat (limited to '.circleci')
-rw-r--r--.circleci/config.yml5
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