maint: avoid double execution of GA

Author: oesteban

.github/workflows/docs-build-pr.yml

@@ -0,0 +1,44 @@
+
+name: Build docs
+
+on:
+  pull_request:
+    branches: [ master, 'maint/*' ]
+
+jobs:
+  build:
+    if: "!contains(github.event.head_commit.message, '[skip ci]')"
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: actions/checkout@v2
+
+    - name: Determine current branch/tag name
+      run: |
+        if [[ "$GITHUB_REF" == refs/pull/* ]]; then
+          CURBRANCH=${GITHUB_REF%/*}
+          CURBRANCH=${CURBRANCH##*/}
+        elif [[ "$GITHUB_REF" == refs/heads/* ]]; then
+          CURBRANCH=${GITHUB_REF##*/}
+        elif [[ "$GITHUB_REF" == refs/tags/* ]]; then
+          echo "This build should not be picking up a tag, cancelling."
+          exit 1
+        fi
+
+        # Remove forward slashes
+        CURBRANCH=$( echo $CURBRANCH | sed 's+/+_+g' )
+        echo "Building branch/tag ${CURBRANCH:-<unkwown>}, from git ref <$GITHUB_REF>"
+        echo "CURBRANCH=${CURBRANCH}" >> ${GITHUB_ENV}
+
+    - name: Install GraphViz
+      run: |
+        sudo apt-get update -y
+        sudo apt-get install -y graphviz
+
+    - name: Install dependencies
+      run: |
+        pip install -r docs/requirements.txt
+
+    - name: Build docs
+      run: |
+          make -C docs/ SPHINXOPTS="-W" BUILDDIR="$HOME/docs" CURBRANCH="${CURBRANCH:-html}" html

.github/workflows/builddocs.yml .github/workflows/docs-build-update.yml.github/workflows/builddocs.yml renamed to .github/workflows/docs-build-update.yml

@@ -1,14 +1,9 @@
 
-name: Build docs
+name: Build & update docs
 
 on:
   push:
-    branches: [ 'doc/*', 'docs/*' ]
-    tags: [ '*' ]
-  pull_request:
-    branches: [ master, 'maint/*' ]
-
-  create:
+    branches: [ 'doc/*', 'docs/*', master, "maint/*" ]
     tags: [ '*' ]
 
 jobs:
@@ -49,7 +44,7 @@ jobs:
           make -C docs/ SPHINXOPTS="-W" BUILDDIR="$HOME/docs" CURBRANCH="${CURBRANCH:-html}" html
 
     - name: Push created tag to gh-pages
-      if: github.event_name == 'create'
+      if: startsWith(github.ref, 'refs/tags/')
       run: |
           MAJOR_MINOR=${CURBRANCH%.*}
           if [[ "${MAJOR_MINOR" == "" ]]; then
@@ -65,7 +60,7 @@ jobs:
           git commit -am "rel(${CURBRANCH}): Update docs of ${MAJOR_MINOR} series" || true
           git push
 
-    - name: Push merge commit into master to gh-pages
+    - name: Push "master" docs to gh-pages after a PR is merged
       if: github.event.pull_request.merged == true
       run: |
           if [[ "${CURBRANCH" != "master" ]]; then