Skip to content

Improved JENKINS_HOME example#3332

Merged
shiftkey merged 1 commit intogithub:masterfrom
samrocketman:jenkins-config-performance-enhancement
Mar 11, 2020
Merged

Improved JENKINS_HOME example#3332
shiftkey merged 1 commit intogithub:masterfrom
samrocketman:jenkins-config-performance-enhancement

Commits

Commits on Mar 8, 2020