diff --git a/.github/workflows/amd64-linux.yml b/.github/workflows/amd64-linux.yml
index 8fef4df..337b37c 100644
--- a/.github/workflows/amd64-linux.yml
+++ b/.github/workflows/amd64-linux.yml
@@ -32,6 +32,8 @@ jobs:
     steps:
       - name: checkout
         uses: actions/checkout@v4
+        with:
+        submodules: recursive
 
       - name: run benchmarks
         run: make -j$JOBS -C bench/
diff --git a/scripts/docker/README.md b/scripts/docker/README.md
index 06bf1b5..c5a5227 100644
--- a/scripts/docker/README.md
+++ b/scripts/docker/README.md
@@ -13,7 +13,7 @@ $ cd src/
 $ make -j$(nproc)
 ```
 
-The last command, `make`, can take up to 5 minutes to execute (depending on the machine, and if 8 cores are available).
+The last command, `make`, can take up to 10 minutes to execute (depending on the machine, and if 8 cores are available).
 It does the following (search for the `all` rule in `src/Makefile` for more details):
 
 * `make distclean`: cleans everything