From 3582fb86102465385f753cf1fdc16f8881f3db90 Mon Sep 17 00:00:00 2001
From: Yevhenii Poliakov <yevpol@st.amu.edu.pl>
Date: Thu, 11 May 2023 20:55:07 +0200
Subject: [PATCH] add docker agent to jenkinsfile

---
 Jenkinsfile | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 7299a06..7c739f2 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,8 +1,12 @@
 pipeline {
-    agent any
+    agent {
+        docker {
+            image 'ium'
+        }
+    }
 
     stages {
-        stage('Stage1') {
+        stage('Run Script') {
             steps {
                 echo ("checkout: check out from version control")
                 git "https://git.wmi.amu.edu.pl/s151636/ium_151636.git"