Skip to content

Commit

Permalink
Fix rule
Browse files Browse the repository at this point in the history
  • Loading branch information
Dontrian committed Dec 4, 2023
1 parent eb0fa81 commit 8e85d9e
Showing 1 changed file with 9 additions and 4 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -6,17 +6,22 @@ on:

jobs:
bump-version:
name: Is pull request from develop
name: Is pull request from develop (or master)

runs-on: ubuntu-latest #self-hosted

steps:
- name: Check that pull request is from develop
- name: Check that pull request is from develop or master
run: |
if [ "${{github.head_ref}}" == "develop" ]; then
echo Pull request is from develop ✔
echo Pull request is from develop ✔
exit 0
elif [ "${{github.head_ref}}" == "master" ]; then
echo Pull request is from master ✔
exit 0
else
echo Pull requests from ${{github.head_ref}} are not allowed. Only pull requests from develop are allowed.
exit 1
fi
exit 1

0 comments on commit 8e85d9e

Please sign in to comment.