From 1b164159aaea3227232da62acb1cbdf2825dbd6c Mon Sep 17 00:00:00 2001
From: Francia Csaba <cf@gerhardt.io>
Date: Wed, 13 Dec 2023 16:17:03 +0100
Subject: [PATCH] Specify jenkins user

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

diff --git a/Jenkinsfile b/Jenkinsfile
index d9e9baf..b0284ef 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -2,7 +2,7 @@ pipeline {
     agent {
       docker {
         image 'python:3'
-        user 'jenkins'
+        args '-u jenkins'
       }
     }
     stages {