Properly tag successful builds.

embeddedartistry · Mar 23, 2022 · 0ea930b · 0ea930b
1 parent b375b19
commit 0ea930b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tools/Jenkinsfile b/tools/Jenkinsfile
@@ -121,6 +121,7 @@ pipeline
     {
       githubSetConfig('69e4682e-2951-492f-b828-da06364c322d')
       // Release step creates a tag
+      gitTagSuccess "${params.MAJOR_VERSION}.${params.MINOR_VERSION}.${BUILD_NUMBER}"
       githubUploadRelease("${params.MAJOR_VERSION}.${params.MINOR_VERSION}.${BUILD_NUMBER}",
         'buildresults/release/*.zip')
     }