diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index aaee10ca2b91b6a33842c6c5d1335ce69527fcec..708f22fe8d2036dd0ffe7c3cd74418f2cb7034ec 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -34,6 +34,8 @@ build: <<: *global_tag_def stage: build script: + - git submodule init + - git submodule update - rm -rf build workspace - mkdir build - cd build diff --git a/scripts/format_code.py b/scripts/format_code.py old mode 100644 new mode 100755