From 4b13a7cbc8f714b7efabe8448e7fc0cffc2d6168 Mon Sep 17 00:00:00 2001
From: claude <claude@verso>
Date: Tue, 30 Jun 2026 09:13:01 +0000
Subject: [PATCH] Fix CI: initialize elm-material submodule before client build

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
---
 .gitea/workflows/build.yaml | 2 ++
 1 file changed, 2 insertions(+)

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