Disable automated deployment to GitHub pages (fixes GH-217)

shorodilov · shorodilov · commit 120434a96b49 · 2024-02-29T13:44:28.000+02:00
diff --git a/.github/workflows/deploy_pages.yml b/.github/workflows/deploy_pages.yml
@@ -3,9 +3,9 @@ name: Deploy static content to Pages
 
 on:
   # Runs on pushes targeting the default branch
-  push:
-    branches:
-      - devel
+#  push:
+#    branches:
+#      - devel
 
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch:
