fix(ci): use non conflicting port for docker compose postgres in ci

Author: PanGan21

.github/workflows/coprocessor-cargo-tests.yml

@@ -120,6 +120,8 @@ jobs:
       run: |
         nohup docker compose up -d --build db-migration > /tmp/db-init.log 2>&1 &
       working-directory: coprocessor/fhevm-engine/tfhe-worker
+      env:
+        DB_HOST_PORT: 15432
 
     - name: Setup Rust toolchain file
       run: cp coprocessor/fhevm-engine/rust-toolchain.toml .
@@ -161,7 +163,7 @@ jobs:
 
     - name: Compile tests with coverage instrumentation
       env:
-        DATABASE_URL: postgresql://postgres:postgres@localhost:5432/coprocessor
+        DATABASE_URL: postgresql://postgres:postgres@localhost:15432/coprocessor
         SQLX_OFFLINE: 'true'
         TEST_PACKAGE: ${{ matrix.package }}
       run: |
@@ -193,9 +195,23 @@ jobs:
         fi
         echo "Database migration completed"
 
+    - name: Verify database is accessible
+      if: ${{ matrix.needs_db }}
+      run: |
+        echo "=== Docker containers ==="
+        docker ps -a
+        echo "=== Port mapping for db container ==="
+        docker port db || true
+        echo "=== db-init.log ==="
+        cat /tmp/db-init.log || true
+        echo "=== Checking localhost:15432 ==="
+        docker exec db psql -U postgres -c '\l' || true
+        echo "=== Checking from host ==="
+        PGPASSWORD=postgres psql -h localhost -p 15432 -U postgres -c '\l' 2>&1 || true
+
     - name: Run tests with coverage
       env:
-        DATABASE_URL: postgresql://postgres:postgres@localhost:5432/coprocessor
+        DATABASE_URL: postgresql://postgres:postgres@localhost:15432/coprocessor
         SQLX_OFFLINE: 'true'
         COPROCESSOR_TEST_LOCALHOST: '1'
         TEST_GLOBAL_LOCALSTACK: ${{ matrix.needs_localstack && '1' || '0' }}

.github/workflows/coprocessor-gpu-tests.yml

@@ -171,6 +171,8 @@ jobs:
         run: |
           nohup docker compose up -d --build db-migration > /tmp/db-init.log 2>&1 &
         working-directory: coprocessor/fhevm-engine/tfhe-worker
+        env:
+          DB_HOST_PORT: 15432
 
       - name: Use Node.js
         uses: actions/setup-node@60edb5dd545a775178f52524783378180af0d1f8 # v4.0.2
@@ -218,7 +220,7 @@ jobs:
         env:
           IS_MERGE_QUEUE: ${{ startsWith(github.head_ref, 'mergify/merge-queue/') && '1' || '0' }}
         run: |
-          export DATABASE_URL=postgresql://postgres:postgres@localhost:5432/coprocessor
+          export DATABASE_URL=postgresql://postgres:postgres@localhost:15432/coprocessor
           export COPROCESSOR_TEST_LOCALHOST=1
           # Merge queue: leave unset so supported_types() defaults to full matrix.
           # PR CI: run only FHEUint64 for faster feedback.

coprocessor/fhevm-engine/tfhe-worker/docker-compose.yml

@@ -9,7 +9,7 @@ services:
       POSTGRES_USER: postgres
       POSTGRES_PASSWORD: postgres
     ports:
-      - '5432:5432'
+      - '${DB_HOST_PORT:-5432}:5432'
     healthcheck:
       test: [ "CMD-SHELL", "pg_isready -U postgres" ]
       interval: 10s