From 539e536cc7723c74c043a3c597b72565c7271fa3 Mon Sep 17 00:00:00 2001
From: whitequark <whitequark@whitequark.org>
Date: Wed, 1 Jul 2020 03:37:29 +0000
Subject: [PATCH] CI: build docs on all pushes, update only on master.

---
 .github/workflows/main.yaml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
index 4ef4ea1..c86c684 100644
--- 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 }}
-- 
2.30.2