Skip to content
This repository has been archived by the owner on Jan 25, 2023. It is now read-only.

Fix untagged push #233

Merged
merged 1 commit into from Dec 7, 2018
Merged

Fix untagged push #233

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
2 changes: 1 addition & 1 deletion Jenkinsfile
View file
Open in desktop
Expand Up @@ -55,7 +55,7 @@ pipeline {
stage("Push Untagged") {
when {
anyOf { branch 'master' ; branch 'staging'}
buildingTag()
not { buildingTag() }
}
steps {
script {
Expand Down