ci: add permissions to deploy to gh pages

Author: avivace

.github/workflows/build-and-deploy.yml

@@ -3,6 +3,12 @@ name: Build and deploy an updated version of the website
 on:
   [push, pull_request]
 
+# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
+permissions:
+  contents: read
+  pages: write
+  id-token: write
+  
 env:
   MDBOOK_LINKCHECK_VER: 0.7.4