-
- Downloads
Some Jenkins changes and improvements.
-) Don't re-clone from github. We already have the directory here, just bind it, and copy it inside the docker container. -) Let's properly set up our environment for asan. -) Let's split the docker "run_jenkins" part into its own separate script.
Showing
tools/jenkins/docker_run_jenkins.sh
0 → 100755
Please register or sign in to comment