Polling Log
This page captures the polling log that triggered this build.
Started on Jan 18, 2022, 2:18:13 PM Started by event from 140.82.115.106 → 127.0.0.1 ⇒ https://monteverdi.informatik.uni-freiburg.de:56789/ci/github-webhook/ on Tue Jan 18 14:18:13 CET 2022 Using strategy: Default [poll] Last Built Revision: Revision 237ea66fb2a734600acf7072c1dc78c1ddb79a1e (refs/remotes/Github_Hanfor/master) The recommended git tool is: NONE using credential 3a0fbb3b-f36a-4511-9813-e10cb76da774 > git --version # timeout=10 > git --version # 'git version 2.32.0' using GIT_SSH to set credentials jenkins deploy key > git ls-remote -h -- git@github.com:ultimate-pa/hanfor.git # timeout=10 Found 6 remote heads on git@github.com:ultimate-pa/hanfor.git [poll] Latest remote head revision on refs/heads/master is: 507edb0270aa29b6e7b7c2e5145013612c1ed059 Done. Took 1.1 sec Changes found