New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Push onto registry if pull request is merged into master #46

Merged

ylavoie merged 1 commit into ledgersmb:master from ylavoie:push-on-merge-only6

Oct 30, 2023

Contributor

ylavoie commented Oct 30, 2023

Change push condition


          Push onto registry if pull request is merged into master

b181e23

ylavoie merged commit bb068a3 into ledgersmb:master

5 checks passed

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet