[Jenkins] Delete obsolete jenkins files

Xilinx · Jul 6, 2022 · 1456e32 · 1456e32
1 parent c8a6dc2
commit 1456e32
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 33 deletions.
diff --git a/.gitignore b/.gitignore
@@ -77,9 +77,6 @@ MANIFEST
 # Per-project virtualenvs
 .venv*/
 
-# Jenkins cfg dir
-/docker/jenkins_home
-
 # SSH key dir mounted into Docker
 /ssh_keys/
 

diff --git a/docker/jenkins/Dockerfile.jenkins b/docker/jenkins/Dockerfile.jenkins
diff --git a/docker/jenkins/launch-jenkins.sh b/docker/jenkins/launch-jenkins.sh