Update projects, finish jombotron

2025-12-20 10:05:59 +00:00 · 2019-11-03 22:14:02 -05:00
parent 2ed72f2710
commit be190858d9
8 changed files with 235 additions and 120 deletions
--- a/jenkins/Jenkinsfile
+++ b/jenkins/Jenkinsfile
@@ -8,6 +8,7 @@ remote.allowAnyHosts = true
 remote.retryCount = 3
 remote.retryWaitSec = 3
 logLevel = 'FINER'
+remote.port = 2299

 pipeline {
    agent none