From d5bf520a87c33fca5d0f6597c154b895b4702e47 Mon Sep 17 00:00:00 2001
From: Marijn Suijten <marijn@traverseresearch.nl>
Date: Mon, 30 Oct 2023 11:59:21 +0100
Subject: [PATCH] CI: Test undocumented thing

---
 .github/workflows/ci.yml | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index dfb25f374..b1dc9d8d9 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -32,9 +32,8 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v1
-      - name: Checkout submodule
-        # Manually update submodules with --checkout because they are configured with update=none and will be skipped otherwise
-        run: git submodule update --recursive --init --force --checkout
+        with:
+          submodules: checkout
       - name: Run generator
         run: cargo run -p generator
       - name: Diff autogen result