Skip to content
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

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

Merged
merged 1 commit into from
Oct 30, 2023

Push onto registry if pull request is merged into master

3b3d9e3
Select commit
Loading
Failed to load commit list.
Merged

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

Push onto registry if pull request is merged into master
3b3d9e3
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs