Fetch elm-material submodule during clone

elm-material is a git submodule with an SSH URL; rewrite it to HTTPS before calling submodule update so the init container can fetch it without needing SSH keys. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
2026-06-29 21:38:58 +00:00
parent 755a966541
commit 3cd0c91f91
1 changed files with 3 additions and 0 deletions
@@ -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