diff --git a/.github/workflows/run-tests.yml b/.github/workflows/run-tests.yml
index 90363908ca..6709bd2ead 100644
--- a/.github/workflows/run-tests.yml
+++ b/.github/workflows/run-tests.yml
@@ -24,9 +24,10 @@ jobs:
   run-unit-tests:
     runs-on: ubuntu-20.04
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
       with:
         fetch-depth: 10 # so that recent tags can be found
+        submodules: true
     - name: Set up JDK
       uses: actions/setup-java@v3
       with:
@@ -81,9 +82,10 @@ jobs:
   run-instrument-tests:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
       with:
         fetch-depth: 10 # so that recent tags can be found
+        submodules: true
     - name: Set up JDK
       uses: actions/setup-java@v3
       with: