Polling Log

View as plain text

This page captures the polling log that triggered this build.

Started on Mar 21, 2022, 1:53:23 PM
Started by event from 140.82.115.116 → 127.0.0.1 ⇒ https://monteverdi.informatik.uni-freiburg.de:56789/ci/github-webhook/ on Mon Mar 21 13:53:23 CET 2022
Using strategy: Default
[poll] Last Built Revision: Revision 63780f2fa9a5eb64ac00b4107288e6e71e8c2cc7 (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: 48c04004c080a063b8a0062ba104f929c7b25c84
Done. Took 1.1 sec
Changes found