Fix submodule fetching for Docker-Coq-Action template.

coq-community · Dec 20, 2021 · 042472f · 042472f
1 parent e62015d
commit 042472f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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/[email protected]
+        with:
+          submodules: recursive
 {{/ submodule }}
       - uses: coq-community/docker-coq-action@v1
         with: