Polling Log

View as plain text

This page captures the polling log that triggered this build.

Started on 25/02/2020 4:20:41 PM
Started by event from ⇒ http://plang1.it.usyd.edu.au:8080/jenkins/github-webhook/ on Tue Feb 25 16:20:39 AEDT 2020
Using strategy: Default
[poll] Last Built Revision: Revision 6186ca9c6611491ffe5fcb24783e4ff4826d7162 (refs/remotes/origin/master)
using credential 2de3d1c8-3112-4608-8303-42858c1ed1f9
 > git --version # timeout=10
using GIT_ASKPASS to set credentials Github bot login
 > git ls-remote -h -- http://github.com/souffle-lang/souffle.git # timeout=10
Found 3 remote heads on http://github.com/souffle-lang/souffle.git
Ignoring refs/heads/new-typesystem as it doesn't match any of the configured refspecs
Ignoring refs/heads/gh-pages as it doesn't match any of the configured refspecs
[poll] Latest remote head revision on refs/heads/master is: e3a5983f51cc8835f78b9647e4e8aaed1b6d8404
Done. Took 1.4 sec
Changes found