From 85d597c679d044d1daf626c4836a61172c947f0e Mon Sep 17 00:00:00 2001 From: Daniel Guzman Date: Thu, 23 May 2024 00:35:10 +0200 Subject: [PATCH] fix jenkins file --- jenkinsfile => Jenkinsfile | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename jenkinsfile => Jenkinsfile (100%) diff --git a/jenkinsfile b/Jenkinsfile similarity index 100% rename from jenkinsfile rename to Jenkinsfile