ci: Change from deploy on pull_request to deploy on main push

.gitea/workflows/checks.yaml

@@ -10,10 +10,3 @@ jobs:
     steps:
       - uses: actions/checkout@v3
       - run: nix run .#impure-checks
-  deploy-docs:
-    runs-on: nix
-    steps:
-      - uses: actions/checkout@v3
-      - run: nix run .#deploy-docs
-    env:
-      SSH_HOMEPAGE_KEY: ${{ secrets.SSH_HOMEPAGE_KEY }}

.gitea/workflows/deploy.yaml

@@ -0,0 +1,13 @@
+name: deploy
+on:
+ push:
+    branches:
+      - main
+  jobs:
+    deploy-docs:
+      runs-on: nix
+      steps:
+        - uses: actions/checkout@v3
+        - run: nix run .#deploy-docs
+      env:
+        SSH_HOMEPAGE_KEY: ${{ secrets.SSH_HOMEPAGE_KEY }}