From 5d08611cdfe1d4b43ab526d6df3f92b80d501f52 Mon Sep 17 00:00:00 2001 From: database-mysql Date: Sat, 27 Dec 2025 09:26:31 +0800 Subject: [PATCH] Re. jenkinsfile --- .idea/workspace.xml | 15 ++++++++++++--- jenkinsfile | 2 +- 2 files changed, 13 insertions(+), 4 deletions(-) diff --git a/.idea/workspace.xml b/.idea/workspace.xml index 23f6efb..4e0bb7b 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -4,7 +4,7 @@