From 85ffaa11566b322b7c62c7264417f5ec15d487db Mon Sep 17 00:00:00 2001 From: MrHua269 Date: Sat, 22 Feb 2025 18:43:01 +0800 Subject: [PATCH] Fix wrong upper-cased file name --- 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