From bba1d047d11ab17bc7513a66468e4398908919e0 Mon Sep 17 00:00:00 2001
From: Filip Gralinski <filipg@amu.edu.pl>
Date: Tue, 24 Oct 2023 14:26:23 +0200
Subject: [PATCH] Fix

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

diff --git a/Jenkinsfile b/Jenkinsfile
index dfb2c2d..9a69922 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,4 +1,5 @@
 pipeline {
+  agent { docker { image 'python:3.10.10' } }
   stages {
     stage('build') {
       steps {