Merge branch '4.2.x' into 5.0.x

* 4.2.x: CI: remove duplicate key (doctrine#6537)
derrabus · Oct 9, 2024 · f041d52 · f041d52
2 parents c27943a + 9d881b7
commit f041d52
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/continuous-integration.yml b/.github/workflows/continuous-integration.yml
@@ -239,7 +239,6 @@ jobs:
           - php-version: "8.4"
             postgres-version: "16"
             extension: "pgsql"
-            extension: "pdo_pgsql"
           - php-version: "8.4"
             postgres-version: "16"
             extension: "pdo_pgsql"