diff --git a/tools/Jenkinsfile b/tools/Jenkinsfile
index 6916536..87c3213 100644
--- 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')
     }