summaryrefslogtreecommitdiff
path: root/.github/workflows/docs.yml
diff options
context:
space:
mode:
Diffstat (limited to '.github/workflows/docs.yml')
-rw-r--r--.github/workflows/docs.yml10
1 files changed, 6 insertions, 4 deletions
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 05ede2e9..74f5e9d6 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -1,19 +1,21 @@
---
name: Docs
+
on:
push:
branches: [main]
pull_request:
branches: [main]
+permissions:
+ # This workflow pushes to the gh-pages branch, so the token needs write
+ # privileges for repo contents.
+ contents: write
+
jobs:
docs:
name: Build documentation
runs-on: ubuntu-latest
- permissions:
- # This job pushes to the gh-pages branch, so the token needs write
- # privileges for repo contents.
- contents: write
steps:
- name: Checkout repository
uses: actions/checkout@v2