fix: move logs up
Otherwise they are missing from the failure case
This commit is contained in:
parent
0a637165fe
commit
5c40a31e3e
1 changed files with 4 additions and 2 deletions
|
@ -86,6 +86,10 @@ runs:
|
||||||
pr_number=$(echo "$prs" |
|
pr_number=$(echo "$prs" |
|
||||||
jq --arg head_ref "$head_ref" '.[] | select(.head.ref == $head_ref) | .number')
|
jq --arg head_ref "$head_ref" '.[] | select(.head.ref == $head_ref) | .number')
|
||||||
|
|
||||||
|
# This seems to create the file???
|
||||||
|
log "GITHUB_OUTPUT=$GITHUB_OUTPUT"
|
||||||
|
log "$(ls -l "$GITHUB_OUTPUT")"
|
||||||
|
|
||||||
# Protect against running before a PR is made or if it is triggered on the main branch
|
# Protect against running before a PR is made or if it is triggered on the main branch
|
||||||
if [ -z "$pr_number" ]; then
|
if [ -z "$pr_number" ]; then
|
||||||
warn "No PR created for this commit"
|
warn "No PR created for this commit"
|
||||||
|
@ -96,8 +100,6 @@ runs:
|
||||||
log "Retrieved index: $pr_number"
|
log "Retrieved index: $pr_number"
|
||||||
log "Expected PR URL: $GITHUB_SERVER_URL/$GITHUB_REPOSITORY/pulls/$pr_number"
|
log "Expected PR URL: $GITHUB_SERVER_URL/$GITHUB_REPOSITORY/pulls/$pr_number"
|
||||||
|
|
||||||
log "GITHUB_OUTPUT=$GITHUB_OUTPUT"
|
|
||||||
log "$(ls -l "$GITHUB_OUTPUT")"
|
|
||||||
echo "pr-number=$pr_number" >> "$GITHUB_OUTPUT"
|
echo "pr-number=$pr_number" >> "$GITHUB_OUTPUT"
|
||||||
- name: Find previous comment (if present)
|
- name: Find previous comment (if present)
|
||||||
# We want to generate a comment, and we we able to fin the PR number
|
# We want to generate a comment, and we we able to fin the PR number
|
||||||
|
|
Loading…
Add table
Reference in a new issue