Started on Oct 10, 2023, 4:16:01 PM Using strategy: Default [poll] Last Built Revision: Revision b3c5679beced83bebe6bf14e5e655cfc08b38251 (refs/remotes/origin/master) The recommended git tool is: NONE No credentials specified > git --version # timeout=10 > git --version # 'git version 2.39.2' > git ls-remote -h -- https://gerrit.osmocom.org/docker-playground # timeout=10 Found 31 remote heads on https://gerrit.osmocom.org/docker-playground [poll] Latest remote head revision on refs/heads/master is: a15ab99d07f9ac5bd0af86eaaf5587bb220bdc61 Done. Took 66 ms Changes found