From 3cd0c91f914787284e8b5291fe5865c8cc9df955 Mon Sep 17 00:00:00 2001 From: Claude Date: Mon, 29 Jun 2026 21:38:58 +0000 Subject: [PATCH] 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 --- .gitea/workflows/build.yaml | 3 +++ 1 file changed, 3 insertions(+) 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