Limit token permissions and pin 3rd-party action in publish-pages

This commit is contained in:
Chris Mayo 2021-12-06 19:27:49 +00:00
parent a4d2d49989
commit 3eb3a70aab

View file

@ -8,6 +8,8 @@ jobs:
run:
runs-on: ubuntu-latest
permissions:
contents: write
steps:
- uses: actions/checkout@v2
@ -31,7 +33,7 @@ jobs:
make -C doc html
- name: Publish
uses: peaceiris/actions-gh-pages@v3
uses: peaceiris/actions-gh-pages@068dc23d9710f1ba62e86896f84735d869951305
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./doc/html