chore: use github.ref (#8618)

This commit is contained in:
jrandolf 2022-07-01 19:09:43 +02:00 committed by GitHub
parent 59c8027041
commit 6b2b421b7d
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
id: needs_deploying
run: |
if [[ $(git diff HEAD^ -- ./docs ./website) ]]; then
if [[ $(git diff ${{ github.ref }}^ -- ./docs ./website) ]]; then
needs_deploying=true
else
needs_deploying=false