add write permission to GITHUB_TOKEN for Pages

Author: sds100

.github/workflows/build-mkdocs.yml

@@ -4,8 +4,12 @@ on:
   push:
     branches:
       - main
+
 permissions:
-  contents: write
+  contents: read
+  pages: write
+  id-token: write
+
 jobs:
   build_mkdocs:
     runs-on: ubuntu-latest