From 042472fd9a1aae918096b468c9f45c6ebe7469c5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9o=20Zimmermann?= <theo.zimmermann@inria.fr>
Date: Mon, 20 Dec 2021 15:58:57 +0100
Subject: [PATCH] Fix submodule fetching for Docker-Coq-Action template.

---
 docker-action.yml.mustache | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docker-action.yml.mustache b/docker-action.yml.mustache
index dfa8389..b8bb950 100644
--- a/docker-action.yml.mustache
+++ b/docker-action.yml.mustache
@@ -28,8 +28,8 @@ jobs:
     steps:
       - uses: actions/checkout@v2
 {{# submodule }}
-      - name: Checkout submodules
-        uses: textbook/git-checkout-submodule-action@2.1.1
+        with:
+          submodules: recursive
 {{/ submodule }}
       - uses: coq-community/docker-coq-action@v1
         with: