diff --git a/.github/workflows/extensions.yml b/.github/workflows/extensions.yml
index d1c657d7f..03880c2ee 100644
--- a/.github/workflows/extensions.yml
+++ b/.github/workflows/extensions.yml
@@ -86,8 +86,8 @@ jobs:
         git add lib/
         git commit -m "Auto-build: Update extensions [skip ci]" || echo "No changes to commit"
 
-    - name: Push files (Unix)
-      if: runner.os != 'Windows'
+    - name: Push files
+      shell: bash
       run: |
         CURRENT_BRANCH=$(git rev-parse --abbrev-ref HEAD)
         for attempt in {1..3}; do
@@ -99,7 +99,3 @@ jobs:
 
         echo "Failed to push changes after 3 attempts."
         exit 1
-
-    - name: Push files (Windows)
-      if: runner.os == 'Windows'
-      run: git pull --rebase && git push
diff --git a/src/Features/DisallowSqliteAttach.php b/src/Features/DisallowSqliteAttach.php
index 61cd0cb17..2f0f03d16 100644
--- a/src/Features/DisallowSqliteAttach.php
+++ b/src/Features/DisallowSqliteAttach.php
@@ -62,7 +62,7 @@ protected function loadExtension(PDO $pdo): bool
             return false;
         }
 
-        $pdo->loadExtension(static::$extensionPath);
+        $pdo->loadExtension(static::$extensionPath); // @phpstan-ignore method.notFound
 
         return true;
     }