chore: fix bad revision (#8617)

This commit is contained in:
jrandolf 2022-07-01 16:55:12 +02:00 committed by GitHub
parent 32c9f3e6fb
commit c1d57f3e5f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -73,7 +73,7 @@ jobs:
- name: Check if docs need to be deployed - name: Check if docs need to be deployed
id: needs_deploying id: needs_deploying
run: | run: |
if [[ $(git diff @~ -- ./docs ./website) ]]; then if [[ $(git diff HEAD^ -- ./docs ./website) ]]; then
needs_deploying=true needs_deploying=true
else else
needs_deploying=false needs_deploying=false