diff options
| author | carsakiller <carsakiller@gmail.com> | 2024-05-23 08:28:42 +0000 |
|---|---|---|
| committer | carsakiller <carsakiller@gmail.com> | 2024-05-23 08:28:42 +0000 |
| commit | 047c3a277ebdbbd5e67fae764d2d626df698e8b5 (patch) | |
| tree | 95b6a290806869cd80ffd2868bcbbecd2cf671a7 | |
| parent | 503da3b4c073573ce89f706debebd12a8a5abf98 (diff) | |
| download | lua-language-server-047c3a277ebdbbd5e67fae764d2d626df698e8b5.zip | |
only ref name
| -rwxr-xr-x | .github/scripts/check-changelog.sh | 2 | ||||
| -rw-r--r-- | .github/workflows/changelog.yml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/.github/scripts/check-changelog.sh b/.github/scripts/check-changelog.sh index 32489144..5402f490 100755 --- a/.github/scripts/check-changelog.sh +++ b/.github/scripts/check-changelog.sh @@ -11,7 +11,7 @@ git fetch echo $(git branch -a) # Check if the changelog file was modified in the PR -if git diff --name-only origin/$GITHUB_BASE_REF..$GITHUB_HEAD_REF | grep -q $CHANGELOG_FILE; then +if git diff --name-only origin/$GITHUB_BASE_REF..$GITHUB_SOURCE_REF | grep -q $CHANGELOG_FILE; then echo "Thank you for updating the changelog!" exit 0 else diff --git a/.github/workflows/changelog.yml b/.github/workflows/changelog.yml index 9ed6968e..b3995e05 100644 --- a/.github/workflows/changelog.yml +++ b/.github/workflows/changelog.yml @@ -17,7 +17,7 @@ jobs: - name: Set up environment run: | - echo "GITHUB_HEAD_REF=${{ github.head_ref || github.ref_name }}" >> $GITHUB_ENV + echo "GITHUB_SOURCE_REF=${{ github.ref_name }}" >> $GITHUB_ENV echo "GITHUB_BASE_REF=${{ github.base_ref }}" >> $GITHUB_ENV - name: Check if changelog is updated |