Compare commits

..

No commits in common. "6341072b0b8c19ad2f559a138901735e8fd583ce" and "14d83d24b418f0e5d7a1172f1c969e6267b03769" have entirely different histories.

2
Jenkinsfile vendored
View File

@ -100,7 +100,7 @@ pipeline {
label: 'Build Docker image'
if (env.BRANCH_NAME == 'master') {
if (env.VERSION ==~ '.*-\\d+-g[a-f0-9]{7}') {
if (env.VERSION ==~ '-\\d+-g[a-f0-9]{7}') {
env.FIXED_VERSION = 'dev'
} else {
env.FIXED_VERSION = 'stable'