diff --git a/Jenkinsfile b/JenkinsFile similarity index 99% rename from Jenkinsfile rename to JenkinsFile index 0a7e4a4d..795488b8 100644 --- a/Jenkinsfile +++ b/JenkinsFile @@ -83,4 +83,4 @@ pipeline { } } } -} \ No newline at end of file +}