-

.gitlab-ci.yml

@@ -14,9 +14,11 @@ create-binaries:
     - pip3 install dist/orchestra*.whl
     - cd "$CI_PROJECT_DIR"
     - git checkout -B "$CI_COMMIT_REF_NAME" "$CI_COMMIT_SHA"
-    - git config --file=.gitmodules submodule..orchestra/binary_archives.url "https://gitlab-ci-token:${CI_JOB_TOKEN}@rev.ng/gitlab/${CI_PROJECT_NAMESPACE}/binary-archives.git"
-    - GIT_LFS_SKIP_SMUDGE=1 git submodule sync
-    - GIT_LFS_SKIP_SMUDGE=1 git submodule update --init --recursive --remote
+    - rm -rf .orchestra_binary_archives
+    - git clone "https://gitlab-ci-token:${CI_JOB_TOKEN}@rev.ng/gitlab/${CI_PROJECT_NAMESPACE}/binary-archives.git" .orchestra/binary_archives
+    # - git config --file=.gitmodules submodule..orchestra/binary_archives.url "https://gitlab-ci-token:${CI_JOB_TOKEN}@rev.ng/gitlab/${CI_PROJECT_NAMESPACE}/binary-archives.git"
+    # - GIT_LFS_SKIP_SMUDGE=1 git submodule sync
+    # - GIT_LFS_SKIP_SMUDGE=1 git submodule update --init --recursive --remote
     - |
       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 || \