diff --git a/.gitea/workflows/build.yaml b/.gitea/workflows/build.yaml
index ac56efa..243aad5 100644
--- a/.gitea/workflows/build.yaml
+++ b/.gitea/workflows/build.yaml
@@ -36,6 +36,9 @@ jobs:
                       - |
                         set -eux
                         git clone --depth 1 --branch __BRANCH__ https://git.alocoq.fr/alois/CoqDecks.git /workspace/repo
+                        cd /workspace/repo
+                        git config url."https://github.com/".insteadOf "git@github.com:"
+                        git submodule update --init --depth 1
                     volumeMounts:
                       - name: workspace
                         mountPath: /workspace