diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 70f36fbf12..bf977097c8 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -187,7 +187,7 @@ jobs:
       - name: Test suite
         run: |
           cd test
-          ./small-integration-test.sh
+          ALL_TESTS=1 ./small-integration-test.sh
 
       #    make check -C src
       #    make ALL_TESTS=1 check -C test || (test/filter-suite-log.sh test/test-suite.log; exit 1)