Push to gh pages

.github/workflows/nix-build.yml

@@ -1,5 +1,6 @@
 name: 📖 Documentation
 on:
+  pull_request:
   push:
     branches:
       - main
@@ -13,30 +14,40 @@ on:
 
 jobs:
   tests:
-    name: Deploy docs
     runs-on: ubuntu-latest
     steps:
-      - name: Checkout docs
-        uses: actions/checkout@v3
-      - name: Setup Nix
-        uses: cachix/install-nix-action@v20
-        with:
-          nix_path: nixpkgs=channel:nixos-unstable
-      - name: Nix Cache
-        uses: DeterminateSystems/magic-nix-cache-action@v2
-      - name: Build docs
-        run: nix-shell --run "./english_build.sh"
-      - name: Deploy docs to github pages
-        uses: ad-m/[email protected]
-        with:
-          # Token for the repo
-          # Can be passed in using $\{{ secrets.GITHUB_TOKEN }}
-          github_token: ${{ secrets.GITHUB_TOKEN }}
-          # Destination branch to push changes
-          branch: gh-pages
-          # Use force push to fully overwrite the destination branch
-          force: true
-          # We have to push from the folder where files were generated.
-          # Same were the new repo was initialized in the previous step
-          directory: ./docs/en
+    - uses: actions/checkout@v3
+    - uses: cachix/install-nix-action@v20
+      with:
+        nix_path: nixpkgs=channel:nixos-unstable
+    - uses: DeterminateSystems/magic-nix-cache-action@v2
+    - run: nix-shell --run "./english_build.sh"
+
+
+#jobs:
+#  tests:
+#    name: Deploy docs
+#    runs-on: ubuntu-latest
+#    steps:
+#      - name: Checkout docs
+#        uses: actions/checkout@v3
+#      - name: Setup Nix
+#        uses: cachix/install-nix-action@v20
+#        with:
+#          nix_path: nixpkgs=channel:nixos-unstable
+#      - name: Nix Cache
+#        uses: DeterminateSystems/magic-nix-cache-action@v2
+#      - name: Deploy docs to github pages
+#        uses: ad-m/[email protected]
+#        with:
+#          # Token for the repo
+#          # Can be passed in using $\{{ secrets.GITHUB_TOKEN }}
+#          github_token: ${{ secrets.GITHUB_TOKEN }}
+#          # Destination branch to push changes
+#          branch: gh-pages
+#          # Use force push to fully overwrite the destination branch
+#          force: true
+#          # We have to push from the folder where files were generated.
+#          # Same were the new repo was initialized in the previous step
+#          directory: ./docs/en