diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 5a95199b64..43f314e500 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -166,8 +166,6 @@ jobs:
           TEST_FILTER: ${{ matrix.smt-encoding == 'arrays' && 'array-encoding' || '' }}
 
   docker-tests:
-    # provisionally disable docker tests until we repair them
-    if: false
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4