diff options
Diffstat (limited to '.github/workflows/docs_upload.yml')
-rw-r--r-- | .github/workflows/docs_upload.yml | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/.github/workflows/docs_upload.yml b/.github/workflows/docs_upload.yml index d9e81b05e..7bdd186a1 100644 --- a/.github/workflows/docs_upload.yml +++ b/.github/workflows/docs_upload.yml @@ -55,7 +55,11 @@ jobs: - name: Setup Context run: | HASH=${{ github.event.workflow_run.head_commit.id }} - if [ "${{ github.event.workflow_run.event }}" == "push" ] ; then + ISTAG=${{ startsWith(github.ref, 'refs/tags/') }} + if [ "$ISTAG" = true ] ; then + NAME=${{ github.event.workflow_run.head_branch }} + echo "Identified tag $NAME" + elif [ "${{ github.event.workflow_run.event }}" == "push" ] ; then NAME=${{ github.event.workflow_run.head_branch }} echo "Identified branch $NAME" elif [ "${{ github.event.workflow_run.event }}" == "pull_request" ] ; then @@ -66,6 +70,7 @@ jobs: fi echo "NAME=$NAME" >> $GITHUB_ENV echo "HASH=$HASH" >> $GITHUB_ENV + echo "ISTAG=$ISTAG" >> $GITHUB_ENV - name: Update docs continue-on-error: true @@ -76,7 +81,9 @@ jobs: mv docs-new target/docs-$NAME-$HASH cd target/ - if diff -r -x "*.zip" docs-master/ docs-$NAME-$HASH + isdiff=$(diff -r -x "*.zip" docs-master/ docs-$NAME-$HASH >&2; echo $?; exit 0) + + if [[ ("$ISTAG" != true) && ($isdiff = 0) ]] then echo "Ignored run, documentation is the same as for current master" else |