From e82c1fc8acd871226a2e5b81d06eac8e8e762a6d Mon Sep 17 00:00:00 2001
From: dany <contact@iohub.dev>
Date: Fri, 5 Aug 2022 11:23:18 +0200
Subject: [PATCH] Update 'Jenkinsfile'

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

diff --git a/Jenkinsfile b/Jenkinsfile
index a397bdf..6938c4e 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -34,7 +34,7 @@ pipeline{
       steps {
         sshCommand remote: remote, command: '''
         set -e
-        export WORKSPACE=$(realpath "./jenkins/workspace/antosaio")
+        export WORKSPACE=$(realpath "./jenkins/workspace/antosaio-docker")
         cd $WORKSPACE
         # login to dockerhub
         echo $dockerhub_pat | docker login --username $dockerhub_user --password-stdin