diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-05-27 09:38:12 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-27 07:38:12 +0000 |
commit | cd386643b1113c92775950b3683c2b48f7f2bf13 (patch) | |
tree | 0d7799171e8a4761cc997d4c4d1693087dac645a | |
parent | 437405dca0e1a393a8fa1eda900bc0bc469091c6 (diff) |
Avoid uploading docs if they did not change (#6621)
Fixes an oversight from #6601.
-rw-r--r-- | .github/workflows/docs_upload.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/docs_upload.yml b/.github/workflows/docs_upload.yml index 7346371e3..5bc8e4486 100644 --- a/.github/workflows/docs_upload.yml +++ b/.github/workflows/docs_upload.yml @@ -76,7 +76,7 @@ jobs: mv docs-new target/docs-$NAME-$HASH cd target/ - if diff -r target/docs-master/ target/docs-$NAME-$HASH + if diff -r docs-master/ docs-$NAME-$HASH then echo "Ignored run, documentation is the same as for current master" else |