ci: Skip gh-pages branch, deploy site directly

Author: eemeli

.github/workflows/build.yml

@@ -1,6 +1,6 @@
 name: Build spec
 
-on: [pull_request, push]
+on: [pull_request]
 
 jobs:
   build:

.github/workflows/deploy.yml

@@ -1,23 +1,32 @@
-name: Deploy gh-pages
+name: Deploy spec to GitHub Pages
 
 permissions:
-  contents: write
+  contents: read
+  pages: write
+  id-token: write
 
 on:
   push:
     branches:
       - main
 
+concurrency:
+  group: pages
+  cancel-in-progress: false
+
 jobs:
   deploy:
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
     runs-on: ubuntu-latest
-
     steps:
-    - uses: actions/checkout@v4
-    - run: npm install
-    - run: npm run build
-    - uses: JamesIves/github-pages-deploy-action@v4
-      with:
-        branch: gh-pages
-        folder: build
-        clean: true
+      - uses: actions/checkout@v4
+      - uses: actions/configure-pages@v5
+      - run: npm install
+      - run: npm run build
+      - uses: actions/upload-pages-artifact@v3
+        with:
+          path: build/
+      - uses: actions/deploy-pages@v4
+        id: deployment