-
Notifications
You must be signed in to change notification settings - Fork 0
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
New Github Actions #33
Conversation
After merging this PR, it will not be possible to merge branches into
As it can be seen from the checks, Check merging branch will fail as the PR is not coming from devel. Once this is merge, there will be a ruleset for |
Please @geoffwoollard, could you check if these changes make sense before marking this PR as "Ready for review". Also, I would not merge this until everything is ready to be released into Pypi. To do that, some extra configuration in the repo will be needed (we can discuss about this configuration changes on a separate issue). |
Closes #30 |
main
. Only PR fromdev
can be merged