CI: build docs on all pushes, update only on master.

diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
index 4ef4ea1e4c166a20e05241aea98672122f7f0832..c86c68400b6ed8d6856d6ff787795c4beaf023d3 100644 (file)
--- a/.github/workflows/main.yaml
+++ b/.github/workflows/main.yaml
@@ -1,8 +1,7 @@
 on: push
 name: CI
 jobs:
-  build:
-    if: github.event_name == 'push' && github.event.ref == 'refs/heads/master'
+  document:
     runs-on: ubuntu-latest
     steps:
       - name: Check out source code
@@ -20,6 +19,7 @@ jobs:
         run: |
           sphinx-build docs docs/_build
       - name: Publish documentation
+        if: github.event_name == 'push' && github.event.ref == 'refs/heads/master'
         uses: JamesIves/github-pages-deploy-action@releases/v3
         with:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}