Polling Log
This page captures the polling log that triggered this build.
Started on Jul 3, 2018 9:38:30 PM Started by event from 192.30.252.34 ⇒ http://dev.digital-humanities.de:8080/ci/github-webhook/ on Tue Jul 03 21:38:30 CEST 2018 Using strategy: Default [poll] Last Built Revision: Revision 3d747cb738a95f9fff4d0a48a68ad23621ed8410 (refs/remotes/origin/testing) > /usr/bin/git --version # timeout=10 using GIT_ASKPASS to set credentials > /usr/bin/git ls-remote -h git://github.com/DARIAH-DE/Topics # timeout=10 Found 6 remote heads on git://github.com/DARIAH-DE/Topics [poll] Latest remote head revision on refs/heads/testing is: 84d9fb37240692ec9aed3faa25759515884e2f2e Done. Took 0.3 sec Changes found