ci: try using bash for pushing on windows; ignore phpstan error

archtechx · Jan 2, 2025 · 73ab190 · 73ab190
1 parent 693f05a
commit 73ab190
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 7 deletions.
diff --git 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
@@ -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;
     }