Update docs ci, fixes upstream breaking change

deib-polimi · Jun 29, 2023 · c6f3f5d · c6f3f5d
1 parent bf95530
commit c6f3f5d
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -29,6 +29,13 @@ jobs:
         run: cargo doc --color=always --no-deps --all
       - name: Setup Pages
         uses: actions/configure-pages@v3
+      - name: Fix file permissions
+        shell: sh
+        run: |
+          chmod -c -R +rX "target/doc" |
+          while read line; do
+              echo "::warning title=Invalid file permissions automatically fixed::$line"
+          done
       - name: Upload artifact
         uses: actions/upload-pages-artifact@v1
         with: