diff --git a/.github/workflows/random-tests.yml b/.github/workflows/random-tests.yml
index 2d15a9e5..2ae015b7 100644
--- a/.github/workflows/random-tests.yml
+++ b/.github/workflows/random-tests.yml
@@ -60,6 +60,10 @@ jobs:
     runs-on: macos-latest
     steps:
       - uses: actions/checkout@v2
+      - name: Pull submodules
+        run: |
+          git submodule init
+          git submodule update
       - name: Run random tests
         run: |
           make clean; make -j4 allall
diff --git a/.github/workflows/simple-tests.yml b/.github/workflows/simple-tests.yml
index b65054c8..819deb78 100644
--- a/.github/workflows/simple-tests.yml
+++ b/.github/workflows/simple-tests.yml
@@ -58,6 +58,10 @@ jobs:
     runs-on: macos-latest
     steps:
       - uses: actions/checkout@v2
+      - name: Pull submodules
+        run: |
+          git submodule init
+          git submodule update
       - name: Run simple tests
         run: |
           make clean; make -j4 allall