ci: only push containers on main branch not PRs #71
+35
−35
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Member
It has been quite handy in the past to retrieve e.g. a PR from here in a corresponding PR on Spack, to try out the modifications in pipelines before they land on |
Member
|
I think @alalazo is right here -- we push to separate tags for PRs, I think it's worth keeping for flexibility since the velocity on this repo is low. It would be great if we could use the changes action to only update the ones that need updating on each PR. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Updating the workflow to only push new containers to the registry when they've been merged into main.
Also updated the workflow to run on GitHub Hosted Runners now that we're GitHub Enterprise and have access to more than 20 concurrent VMs.