Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Develop #78

Closed
wants to merge 11 commits into from
Original file line number Diff line number Diff line change
Expand Up @@ -13,8 +13,8 @@ jobs:
steps:
- name: Check that pull request is from develop
run: |
if github.head_ref == 'develop'
then
if ["${{github.head_ref}}" = "develop"]; then
echo Pull request is from develop ✔
exit 0
else
echo Pull requests from ${{github.head_ref}} are not allowed. Only pull requests from develop are allowed.
Expand Down
2 changes: 1 addition & 1 deletion package.json
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
{
"version": "0.16.2"
"version": "0.16.5"
}
Loading