immibis
/
colobot
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
colobot/.github/workflows/verify-pr-target.yml

14 lines
461 B
YAML
Raw Normal View History

Migrate to GitHub Actions This is pretty much a straight port of our Jenkinsfile to GitHub Actions. It could use some modernization in a few places, but it should work for now. Note that I left the Jenkinsfile for now - we'll be using them both until we are sure that the GitHub Actions version is stable.
2020-07-07 12:19:21 +00:00
name: Verify pull request target
on: [pull_request]
jobs:
Display correct PR target branch as success rather than skipped
2020-07-07 16:37:21 +00:00
check_pr_target:
Migrate to GitHub Actions This is pretty much a straight port of our Jenkinsfile to GitHub Actions. It could use some modernization in a few places, but it should work for now. Note that I left the Jenkinsfile for now - we'll be using them both until we are sure that the GitHub Actions version is stable.
2020-07-07 12:19:21 +00:00
runs-on: ubuntu-latest
steps:
- name: Wrong pull request target
Display correct PR target branch as success rather than skipped
2020-07-07 16:37:21 +00:00
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'