Compare commits
1 commit
473a0f2852
...
70de79bafa
Author | SHA1 | Date | |
---|---|---|---|
70de79bafa |
1 changed files with 0 additions and 8 deletions
|
@ -73,14 +73,6 @@ runs:
|
|||
run: |
|
||||
. "$GITHUB_ACTION_PATH/utils.sh"
|
||||
|
||||
# If we were triggered by a PR then this is easy
|
||||
if [ "$GITHUB_EVENT_NAME" = "pull_request" ]; then
|
||||
log "Triggered by a pull request with index: $GITHUB_HEAD_REF"
|
||||
log "Expected PR URL: $GITHUB_SERVER_URL/$GITHUB_REPOSITORY/pulls/$GITHUB_HEAD_REF"
|
||||
echo "pr-number=$GITHUB_HEAD_REF" >> "$GIHUB_OUTPUT"
|
||||
exit 0
|
||||
fi
|
||||
|
||||
log 'Determine head_ref'
|
||||
# For push & tag events it'll bet GITHUB_REF_NAME, for pull_request events it'll be GITHUB_HEAD_REF
|
||||
head_ref=${GITHUB_REF_NAME:-$GITHUB_HEAD_REF}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue