From 1bdc7aa9af67f906fa92b8623884fb5d61f285af Mon Sep 17 00:00:00 2001
From: Jannis Portmann <jannisp@student.ethz.ch>
Date: Tue, 18 Apr 2023 16:57:53 +0200
Subject: [PATCH] Echo build number

---
 Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 968faf2..859afc2 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -12,6 +12,7 @@ pipeline {
             steps {
                 script {
                     def buildNumber = env.BUILD_NUMBER
+                    sh 'echo ${buildNumber}'
                     def dockerImage = docker.build('git.thisfro.ch/jenkinsci/pflaenzli', '-f Dockerfile . --tag git.thisfro.ch/jenkinsci/pflaenzli:${buildNumber}')
                 }
             }