Remove files used for Jenkins CI

Jenkins CI is being retired in favor of GitHub Actions. The files being deleted are no longer required.
spring-guides · Jun 12, 2024 · bd0bd51 · bd0bd51
1 parent 1ca3866
commit bd0bd51
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 80 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
diff --git a/test/run.sh b/test/run.sh