Deploy GitHub pages on merge to master (#11)

equinor · Mar 27, 2020 · 6eb73ca · 6eb73ca
1 parent c2288e4
commit 6eb73ca
Showing 1 changed file with 23 additions and 0 deletions.
diff --git a/.github/workflows/flownet.yml b/.github/workflows/flownet.yml
@@ -1,6 +1,9 @@
 name: CI
 
 on:
+  push:
+    branches:
+      - master
   pull_request:
     branches:
       - master
@@ -75,3 +78,23 @@ jobs:
           pushd docs
           make html
           popd
+
+      - name: Update GitHub pages
+        if: github.ref == 'refs/heads/master' && matrix.python-version == '3.6'
+        run: |
+          cp -R ./docs/_build ../_build
+          git config --local user.email "flownet-github-action"
+          git config --local user.name "flownet-github-action"
+          git fetch origin gh-pages
+          git checkout --track origin/gh-pages
+          git clean -f -f -d -x
+          git rm -r *
+        
+          cp -R ../_build/html/* .
+          git add .
+          if git diff-index --quiet HEAD; then
+            echo "No changes in documentation. Skip documentation deploy."
+          else
+            git commit -m "Update Github Pages"
+            git push "https://${{ github.actor }}:${{ secrets.GITHUB_TOKEN }}@github.com/${{ github.repository }}.git" gh-pages
+          fi