CI: build docs on all pushes, update only on master.
authorwhitequark <whitequark@whitequark.org>
Wed, 1 Jul 2020 03:37:29 +0000 (03:37 +0000)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Fri, 31 Dec 2021 14:24:26 +0000 (14:24 +0000)
.github/workflows/main.yaml

index 4ef4ea1e4c166a20e05241aea98672122f7f0832..c86c68400b6ed8d6856d6ff787795c4beaf023d3 100644 (file)
@@ -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 }}