Started on May 8, 2025, 5:38:52 AM Started by event from 140.82.115.250 ⇒ https://ksp.sarbian.com:8090/jenkins/github-webhook/ on Thu May 08 05:38:52 CEST 2025 Using strategy: Default [poll] Last Built Revision: Revision a09ac7b67965ad8a58581bfea15ab1d7653f02c1 (refs/remotes/origin/dev) The recommended git tool is: NONE No credentials specified > git --version # timeout=10 > git --version # 'git version 2.43.0' > git ls-remote -h -- https://github.com/MuMech/MechJeb2.git # timeout=10 Found 20 remote heads on https://github.com/MuMech/MechJeb2.git [poll] Latest remote head revision on refs/heads/dev is: 999025a831ffeb770b0605973da3670b4b721457 Done. Took 0.32 sec Changes found