Merge pull request #5 from o-l-a-v/fix/add-missing-workflow-permission

Fix/add-missing-workflow-permission

Author: o-l-a-v

.github/workflows/push-main-deploy-to-github-pages.yaml

@@ -1,6 +1,6 @@
 name: Deploy to GitHub pages
 
-run-name: '${{ github.workflow }} - [${{ github.event.pull_request.title }} #${{ github.event.pull_request.number }}] by @${{ github.actor }}'
+run-name: '${{ github.workflow }} by @${{ github.actor }}'
 
 on:
   push:
@@ -21,7 +21,6 @@ jobs:
         working-directory: ./website
     permissions:
       contents: read
-      id-token: write
     runs-on: ubuntu-latest
     steps:
       - name: 🛎️ GitHub checkout branch "${{ github.head_ref }}"
@@ -54,6 +53,7 @@ jobs:
     permissions:
       contents: read
       id-token: write
+      pages: write
     runs-on: ubuntu-latest
     steps:
       - name: Deploy to GitHub Pages

website/docs/index.md

@@ -10,7 +10,7 @@ slug: /
 :::info
 This web page is for learning and experimenting, and will always be under construction. 🔨
 
-Testing. Testing.
+Testing. Testing. Testing.
 :::
 
 ## About this page