Don't cancel workflows when in PR
This commit is contained in:
parent
aee7f12376
commit
874e7068ab
|
@ -78,8 +78,13 @@ jobs:
|
||||||
- name: Get branch name
|
- name: Get branch name
|
||||||
shell: bash
|
shell: bash
|
||||||
run: |
|
run: |
|
||||||
echo "##[set-output name=branch_name;]$(echo ${GITHUB_REF#refs/heads/})"
|
if [[ '${{ github.event_name }}' == 'pull_request']]; then
|
||||||
echo "Branch found: ${GITHUB_REF#refs/heads/}"
|
echo "##[set-output name=branch_name;]$(echo ${GITHUB_HEAD_REF})"
|
||||||
|
echo "Branch found (PR): ${GITHUB_HEAD_REF}"
|
||||||
|
else
|
||||||
|
echo "##[set-output name=branch_name;]$(echo ${GITHUB_REF#refs/heads/})"
|
||||||
|
echo "Branch found (not PR): ${GITHUB_REF#refs/heads/}"
|
||||||
|
fi
|
||||||
id: get_branch
|
id: get_branch
|
||||||
|
|
||||||
- name: Cancel Previous Runs (except master/devel)
|
- name: Cancel Previous Runs (except master/devel)
|
||||||
|
|
Loading…
Reference in New Issue