immibis
/
colobot
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Display correct PR target branch as success rather than skipped

1164-fix
krzys-h 2020-07-07 18:37:21 +02:00
parent 0ef21bfdbb
commit a6a7b0c96c
1 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
.github/workflows/verify-pr-target.yml vendored
View File

@ -3,9 +3,12 @@ name: Verify pull request target
on: [pull_request]
jobs:
wrong_pr_target:
check_pr_target:
runs-on: ubuntu-latest
if: github.base_ref == 'master'
steps:
- name: Wrong pull request target
run: echo "This pull request targets the master branch. Please edit the pull request to target dev." && exit 1
run: echo "This pull request targets the master branch. Please edit the pull request to target dev." && exit 1
if: github.base_ref == 'master'
- name: Correct pull request target
run: echo "This pull request targets the correct branch." && exit 0
if: github.base_ref != 'master'