Move to Node 20

The runners currently use Node 18. This gives me better control.

Author: dead-claudia

.github/workflows/deploy.yml

@@ -14,11 +14,14 @@ jobs:
   deploy:
     runs-on: ubuntu-latest
     steps:
-    - run: git clone --depth=1 "${GITHUB_SERVER_URL}/${GITHUB_REPOSITORY}.git" .
+    - uses: actions/checkout@v4
+    - uses: actions/setup-node@v4
+      with:
+        node-version: 20
     - run: npm ci
     - run: npm run build
     - uses: MithrilJS/infra/deploy@main
       with:
-        type: gh-pages
+        type: github-pages
         token: ${{ secrets.DEPLOY_TOKEN }}
         root_dir: ${{ github.workspace }}/dist

.github/workflows/push-gh-pages.yml

@@ -18,7 +18,10 @@ jobs:
   test:
     runs-on: ubuntu-latest
     steps:
-    - run: git clone --depth=1 "${GITHUB_SERVER_URL}/${GITHUB_REPOSITORY}.git" .
+    - uses: actions/checkout@v4
+    - uses: actions/setup-node@v4
+      with:
+        node-version: 20
     - run: npm ci
     - run: npm run lint
     - run: npm run build