CI: fix commit SHA in PR context (#18338)

This commit is contained in:
Sebastiaan Speck
2025-10-02 10:39:28 +02:00
committed by GitHub
parent 1d66e5395c
commit 51e1160288
2 changed files with 7 additions and 5 deletions
+1 -1
View File
@@ -87,7 +87,7 @@ if __name__ == "__main__":
REPO_SLUG = os.environ.get("GITHUB_REPOSITORY")
PR_ID = os.environ.get("PULL_REQUEST_ID")
BUILD_ID = os.environ.get("GITHUB_RUN_ID")
COMMIT_SHA = os.environ.get("GITHUB_SHA")
COMMIT_SHA = os.environ.get("COMMIT_SHA")
if PR_ID is None or BUILD_ID is None or REPO_SLUG is None or COMMIT_SHA is None:
print("Needed environment variables are not set.", file=sys.stderr)