From: whitequark <whitequark@whitequark.org>
Date: Wed, 1 Jul 2020 03:37:29 +0000 (+0000)
Subject: CI: build docs on all pushes, update only on master.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=539e536cc7723c74c043a3c597b72565c7271fa3;p=nmigen.git

CI: build docs on all pushes, update only on 
---

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 }}