Started on Jun 20, 2026, 6:28:39 PM Started by event from 140.82.115.110 ⇒ https://ksp.sarbian.com:8090/jenkins/github-webhook/ on Sat Jun 20 18:28:39 CEST 2026 Using strategy: Default [poll] Last Built Revision: Revision c754d55b0327341d5aa68df2667b0aa04dd3ddd7 (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 7 remote heads on https://github.com/MuMech/MechJeb2.git [poll] Latest remote head revision on refs/heads/dev is: 31507bd29906238e16bace08e6dcefb58fafa716 Done. Took 0.31 sec Changes found