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.

Sign up for GitHub

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

Jump to bottom

Publish npm packages only if release PR was merged #69

Open

nkaskov opened this issue Aug 17, 2023 · 0 comments

Contributor

nkaskov commented Aug 17, 2023

In our current state, there can be a situation when the package was published, but PR with the new version wasn't merged into master. This can be changed using this technic: https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#running-your-pull_request-workflow-when-a-pull-request-merges

nkaskov added this to zkLLVM + Proof Market Toolchain

github-project-automation bot moved this to New in zkLLVM + Proof Market Toolchain

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment