re-enable docker build after Gradle fix

Author: arcuri82

.github/workflows/ci.yaml

@@ -9,19 +9,17 @@ on:
 
 jobs:
 
-# TODO need to use profiles to avoid dependencies to EM in the build... would work on master, but not on develop due to snapshot versions
-#  docker-build:
-#    # this one doesn't use EvoMaster drivers
-#    runs-on: ubuntu-latest
-#    steps:
-#      - name: Checkout WFD
-#        uses: actions/checkout@v6
-#      - name: Build All With Docker
-#        run: python scripts/dist-docker.py
+  docker-build:
+    # this one doesn't use EvoMaster drivers by default
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout WFD
+        uses: actions/checkout@v6
+      - name: Build All With Docker
+        run: python scripts/dist-docker.py
 
   direct-builds:
-#    TODO put back once issue fixed
-#    needs: docker-build
+    needs: docker-build
     runs-on:  ${{ matrix.os }}
     strategy:
       matrix: