From 73ab19014135820f05462b0e1dc1e36c8605468d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Samuel=20=C5=A0tancl?= <samuel@archte.ch>
Date: Thu, 2 Jan 2025 09:54:41 +0100
Subject: [PATCH] ci: try using bash for pushing on windows; ignore phpstan
 error

---
 .github/workflows/extensions.yml      | 8 ++------
 src/Features/DisallowSqliteAttach.php | 2 +-
 2 files changed, 3 insertions(+), 7 deletions(-)

diff --git a/.github/workflows/extensions.yml b/.github/workflows/extensions.yml
index d1c657d7..03880c2e 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 61cd0cb1..2f0f03d1 100644
--- a/src/Features/DisallowSqliteAttach.php
+++ b/src/Features/DisallowSqliteAttach.php
@@ -62,7 +62,7 @@ class DisallowSqliteAttach implements Feature
             return false;
         }
 
-        $pdo->loadExtension(static::$extensionPath);
+        $pdo->loadExtension(static::$extensionPath); // @phpstan-ignore method.notFound
 
         return true;
     }