Started on Jan 4, 2023, 11:58:42 AM Started by event from 140.82.115.103 → 172.70.34.101 → 140.82.115.103 ⇒ https://aos.party:8080/jenkins/github-webhook/ on Wed Jan 04 11:58:39 CET 2023 Using strategy: Default [poll] Last Built Revision: Revision 0c2ed51c5172b2b679c2b7c5ffb6a37440986bd3 (refs/remotes/origin/standalone) The recommended git tool is: NONE No credentials specified > git --version # timeout=10 > git --version # 'git version 2.30.2' > git ls-remote -h -- https://github.com/xtreme8000/BetterSpades # timeout=10 Found 2 remote heads on https://github.com/xtreme8000/BetterSpades [poll] Latest remote head revision on refs/heads/standalone is: ec459247d5629c23e61dd3039bb35eb593efeae3 Done. Took 0.66 sec Changes found