From 84b9b9dbf92f6fbadb84902cbb75807ad76f5f94 Mon Sep 17 00:00:00 2001
From: s452111 <piozim4@st.amu.edu.pl>
Date: Tue, 21 Apr 2020 19:19:04 +0200
Subject: [PATCH] update jenkinsfile

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 6cf285a..eac8b80 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,5 +1,5 @@
 pipeline { 
-    agent any
+    agent { dockerfile true }
     stages { 
 	stage('Hello') { 
 	    steps {