-

.gitlab-ci.yml

@@ -14,6 +14,7 @@ create-binaries:
     - pip3 install dist/orchestra*.whl
     - cd "$CI_PROJECT_DIR"
     - git checkout -B "$CI_COMMIT_REF_NAME" "$CI_COMMIT_SHA"
+    - GIT_LFS_SKIP_SMUDGE=1 git submodule update --init
     - |
       git remote add internal https://gitlab-ci-token:${CI_JOB_TOKEN}@rev.ng/gitlab/revng-internal/revng-orchestra.git || \
         git remote set-url internal https://gitlab-ci-token:${CI_JOB_TOKEN}@rev.ng/gitlab/revng-internal/revng-orchestra.git || \