diff options
| -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 |