Maintenance: Moves WebDAV server stop to after push

Moves the WebDAV server stop job to execute after the release branch is pushed.

This ensures the server remains active during the push process, preventing potential disruptions.

Author: taurgis

.github/workflows/publish.yml

@@ -47,17 +47,6 @@ jobs:
       - name: Run tests
         run: npm test
 
-      - name: Stop WebDAV server
-        if: always()
-        run: |
-          cd tests/servers/webdav
-          if [ -f webdav_server.pid ]; then
-            kill $(cat webdav_server.pid) 2>/dev/null || true
-            rm -f webdav_server.pid
-          fi
-          # Fallback: kill any remaining server processes
-          pkill -f "node.*server.js" || true
-
       - name: Run linting
         run: npm run lint:check
 
@@ -86,6 +75,17 @@ jobs:
           # Push the release branch
           git push origin $BRANCH_NAME
 
+      - name: Stop WebDAV server
+        if: always()
+        run: |
+          cd tests/servers/webdav
+          if [ -f webdav_server.pid ]; then
+            kill $(cat webdav_server.pid) 2>/dev/null || true
+            rm -f webdav_server.pid
+          fi
+          # Fallback: kill any remaining server processes
+          pkill -f "node.*server.js" || true
+
       - name: Publish to NPM
         run: npm publish
         env: