From 4bcb08442746cdf18ddb09878ebad061ae36f47a Mon Sep 17 00:00:00 2001
From: BrokenFire <seb6596@gmail.com>
Date: Sun, 18 Feb 2018 19:48:56 +0100
Subject: [PATCH] Add build pull

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 012b398..1e7a40c 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -16,6 +16,7 @@ node {
          * Second, the 'latest' tag.
          * Pushing multiple tags is cheap, as all the layers are reused. */
         app.push()
+        app.push("${env.BUILD_NUMBER}")  
         
     }
     stage('Cleaning'){