Started on Feb 16, 2022, 11:56:01 PM Using strategy: Default [poll] Last Built Revision: Revision ac4ad6d94d532698b50b46220e384d44a8136de9 (refs/remotes/origin/master) The recommended git tool is: git using credential github-bot > git --version # timeout=10 > git --version # 'git version 2.20.1' using GIT_ASKPASS to set credentials GitHub bot (username/token) > git ls-remote -h -- https://github.com/eclipse/ditto-clients.git # timeout=10 Found 10 remote heads on https://github.com/eclipse/ditto-clients.git [poll] Latest remote head revision on refs/heads/master is: d3acd805cfc47af63da7c7b9a3c654bb42031b1e ERROR: no such computer basic-hk5gw Done. Took 0.31 sec Changes found