Fix CI: initialize elm-material submodule before client build

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
2026-06-30 09:13:01 +00:00
parent 89977da5c7
commit 4b13a7cbc8
1 changed files with 2 additions and 0 deletions
@@ -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