add pages premission

.github/workflows/build.yml

@@ -9,6 +9,8 @@ jobs:
     runs-on: ubuntu-latest
     permissions:
       contents: write
+      id-token: write
+      pages: write
     steps:
       - name: Checkout
         uses: actions/checkout@v3
@@ -18,26 +20,21 @@ jobs:
         shell: bash
         run: |
           nix build --experimental-features "nix-command flakes" .#book
+          mkdir -p ./site
+          cp -rL ./result/* ./site
       - name: Setup Pages
         uses: actions/configure-pages@v5
       - name: Upload artifact
         uses: actions/upload-pages-artifact@v3
         with:
-          path: "./result"
+          path: "./site"
       - name: Deploy to GitHub Pages
         id: deployment
         uses: actions/deploy-pages@v4
-      - name: Build Project
+      - name: Build Project 2
         shell: bash
         run: |
           nix build --experimental-features "nix-command flakes" .#deploy
       - uses: ncipollo/release-action@v1
         with:
-          artifacts: "result/pdf/*,result/*.tar.gz"
-      # - name: Upload artifact
-      #   uses: actions/upload-pages-artifact@v3
-      #   with:
-      #     path: "result/site"
-      # - name: Deploy to GitHub Pages
-      #   id: deployment
-      #   uses: actions/deploy-pages@v4
+          artifacts: "result/pdf/*,result/*.tar.gz"