Polling Log

View as plain text

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