Tweaking PR ref.

This commit is contained in:
2024-12-19 10:34:41 -05:00
parent f4893e21ff
commit f77134374e
@@ -129,7 +129,7 @@ jobs:
}' }'
- name: Verify PR number - name: Verify PR number
run: | run: |
echo "PR number: ${{ gitea.pull_request.id }}" echo "PR number: ${{ gitea.event.number }}"
# - name: Post SonarQube Results as Comment # - name: Post SonarQube Results as Comment
# run: | # run: |