drop generating HTML

.github/workflows/main.yml

@@ -13,15 +13,7 @@ jobs:
       - uses: cachix/install-nix-action@v17
       - uses: cachix/cachix-action@v10
         with:
-          name: agda-template
+          name: agda-smash
           authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
-      - name: Build HTML
-        run: nix build --verbose --print-build-logs
-      - name: Copy HTML so the next step can read it
-        run: cp -vHR result html
-      - name: GitHub Pages
-        uses: crazy-max/[email protected]
-        with:
-          build_dir: html
-        env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+      - name: Build
+        run: nix build --verbose --print-build-logs