ci: Switch to $GITHUB_SHA

This commit is contained in:
Eric Fennis
2025-07-29 16:11:08 +02:00
parent c2c46b21ed
commit 37a60eefb2

View File

@@ -33,5 +33,5 @@ jobs:
env: env:
OPENAI_API_KEY: ${{ secrets.OPENAI_API_KEY }} OPENAI_API_KEY: ${{ secrets.OPENAI_API_KEY }}
PULL_REQUEST_NUMBER: ${{ github.event.number }} PULL_REQUEST_NUMBER: ${{ github.event.number }}
COMMIT_SHA: ${{ github.sha }} COMMIT_SHA: $GITHUB_SHA
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}