ISSUE-337: force push

phpList · Dec 16, 2024 · 1ba0890 · 1ba0890
1 parent 0133c26
commit 1ba0890
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/core-docs.yml b/.github/workflows/core-docs.yml
@@ -86,4 +86,4 @@ jobs:
           git config user.email "[email protected]"
           git add .
           git commit -s -m "phplist/core docs deployment `date`"
-          git push
+          git push origin main --force
diff --git a/src/TestingSupport/Traits/SymfonyServerTrait.php b/src/TestingSupport/Traits/SymfonyServerTrait.php
@@ -19,8 +19,8 @@ trait SymfonyServerTrait
     private ?Process $serverProcess = null;
 
     private static string $lockFileName = '.web-server-pid';
-    private static int $lockWaitTimeout = 5000000;
-    private static int $serverCommandTimeout = 50000;
+    private static int $lockWaitTimeout = 6000000;
+    private static int $serverCommandTimeout = 60000;
 
     private static ?ApplicationStructure $applicationStructure = null;