github action: checkout submodules

runtimeverification · Nov 22, 2024 · aa89714 · aa89714
1 parent 7837380
commit aa89714
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -57,6 +57,7 @@ jobs:
         uses: actions/checkout@v3
         with:
           fetch-depth: 0
+          submodules: recursive
       - name: 'Set up Docker'
         uses: ./.github/actions/with-docker
         with: