diff --git a/.gitea/workflows/build.yaml b/.gitea/workflows/build.yaml
index 3795c41..b992f01 100644
--- a/.gitea/workflows/build.yaml
+++ b/.gitea/workflows/build.yaml
@@ -36,6 +36,8 @@ jobs:
                       - |
                         set -eux
                         git clone --depth 1 --branch __BRANCH__ https://git.alocoq.fr/alois/ManyCoqDecks.git /workspace/repo
+                        cd /workspace/repo
+                        git submodule update --init --depth 1
                     volumeMounts:
                       - name: workspace
                         mountPath: /workspace