Fix invalid permissions (#410)

The website deployment action has been failing lately. Looking at the issue, it seems to be related to actions/deploy-pages#188 that is due to https://github.com/actions/upload-pages-artifact#file-permissions.
ServiceWeaver · Jun 21, 2023 · e7a0ddf · e7a0ddf
1 parent a4a3f37
commit e7a0ddf
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/.github/workflows/github-pages.yml b/.github/workflows/github-pages.yml
@@ -67,6 +67,14 @@ jobs:
       - name: Setup Pages
         uses: actions/configure-pages@v3
 
+      # Set the right file permissions, based on https://github.com/actions/upload-pages-artifact#file-permissions. 
+      - shell: sh
+        run: |
+          chmod -c -R +rX "website/public" |
+          while read line; do
+              echo "::warning title=Invalid file permissions automatically fixed::$line"
+          done
+
       - name: Upload artifact
         uses: actions/upload-pages-artifact@v1
         with: