Merge remote-tracking branch 'origin/master'

deib-polimi · Jul 4, 2023 · ff9ea45 · ff9ea45
2 parents 0319561 + c6f3f5d
commit ff9ea45
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: