Started on Aug 10, 2023, 1:26:00 AM Using strategy: Default [poll] Last Built Revision: Revision db7b490c0582bccb7e997fd1b3508f89c47e7de9 (refs/remotes/origin/master) 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://gerrit.osmocom.org/docker-playground # timeout=10 Found 29 remote heads on https://gerrit.osmocom.org/docker-playground [poll] Latest remote head revision on refs/heads/master is: 2fb37fc518d49860b329d92e9ac4fe59aa83b575 Done. Took 60 ms Changes found