remove deploy to github step

RemyDegenne · Dec 26, 2023 · 8f14b19 · 8f14b19
1 parent cbe0e5e
commit 8f14b19
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -92,9 +92,9 @@ jobs:
       #  with:
       #    path: docs/_site
 
-      - name: Deploy to GitHub Pages
-        id: deployment
-        uses: actions/deploy-pages@v1
+      #- name: Deploy to GitHub Pages
+      #  id: deployment
+      #  uses: actions/deploy-pages@v1
 
       - name: Make sure the cache works
         run: |