From e0e0d82f1a3e85244ee69b4a11ce0684951a6b13 Mon Sep 17 00:00:00 2001
From: Marek Wendlandt <marwen3@st.amu.edu.pl>
Date: Thu, 16 May 2019 13:00:17 +0000
Subject: [PATCH] Zaktualizuj 'Jenkinsfile'

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 40085a5..64d429c 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,5 +1,5 @@
 pipeline {
-    agent any 
+    agent { dockerfile true } 
     stages {
         stage('Stage 1') {
             steps {