diff --git a/Jenkinsfile b/Jenkinsfile
index 4fdb8bd85f9831dad03bd8e5a766be792fe40316..655d80165e0efeffa4cb9c5318a5d2b29279f2f8 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -30,7 +30,7 @@ pipeline {
         }
         stage('Push') {
             when {
-                expression { "$GIT_TAG" != "" }
+                not { environment name: 'GIT_TAG', value: '' }
             }
             steps {
                 sh 'make tag'