mirror of
https://github.com/lucaspalomodevelop/indico-plugins.git
synced 2026-03-12 23:27:22 +00:00
ci: Fix getting PR target branch
This commit is contained in:
parent
0f0740308a
commit
a240e284fd
4
.github/workflows/ci.yml
vendored
4
.github/workflows/ci.yml
vendored
@ -25,7 +25,7 @@ jobs:
|
||||
if [[ $GITHUB_EVENT_NAME == push ]]; then
|
||||
upstream_branch="${GITHUB_REF#refs/heads/}"
|
||||
elif [[ $GITHUB_EVENT_NAME == pull_request ]]; then
|
||||
upstream_branch="${GITHUB_HEAD_REF#refs/heads/}"
|
||||
upstream_branch="${GITHUB_BASE_REF#refs/heads/}"
|
||||
else
|
||||
echo "unsupported event: $GITHUB_EVENT_NAME"
|
||||
exit 1
|
||||
@ -115,7 +115,7 @@ jobs:
|
||||
if [[ $GITHUB_EVENT_NAME == push ]]; then
|
||||
upstream_branch="${GITHUB_REF#refs/heads/}"
|
||||
elif [[ $GITHUB_EVENT_NAME == pull_request ]]; then
|
||||
upstream_branch="${GITHUB_HEAD_REF#refs/heads/}"
|
||||
upstream_branch="${GITHUB_BASE_REF#refs/heads/}"
|
||||
else
|
||||
echo "unsupported event: $GITHUB_EVENT_NAME"
|
||||
exit 1
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user