Build and deploy to Netlify

This should make it easier to separate it between subdomains.

.github/workflows/generate-site.yaml

@@ -1,4 +1,4 @@
-name: Generate site to GitHub pages
+name: Build and deploy to Netlify
 on:
   push:
     branches:
@@ -13,18 +13,23 @@ jobs:
           nix_path: nixpkgs=channel:nixos-unstable
       - name: Setup for static site generation
         run: |
-          nix-shell -p nodejs
+          nix develop
           mv notebook/ site/public/
           cd site
           npm install
           npm run build
-      - name: Deploy to GitHub Pages
+      - name: Deploy to Netlify
-        if: success()
+        uses: nwtgck/actions-netlify@v1.2
-        uses: crazy-max/ghaction-github-pages@v2
         with:
-          jekyll: false
+          publish-dir: ./site/out
-          target_branch: gh-pages
+          production-branch: master
-          build_dir: site/out
+          production-deploy: ${{ github.ref_name == 'master' }}
+          github-token: ${{ secrets.GITHUB_TOKEN }}
+          deploy-message: "Deploy from GitHub Actions"
+          enable-pull-request-comment: true
+          enable-commit-comment: true
+          enable-commit-status: true
+          overwrites-pull-request-comment: false
         env:
-          GITHUB_TOKEN: ${{ secrets.PAGES_TOKEN }}
+          NETLIFY_AUTH_TOKEN: ${{ secrets.NETLIFY_AUTH_TOKEN }}
-
+          NETLIFY_SITE_ID: ${{ secrets.NETLIFY_SITE_ID }}