Polling Log

View as plain text

This page captures the polling log that triggered this build.

Started on 29 Jul. 2020, 4:29:12 pm
Started by event from 140.82.115.242 ⇒ http://plang1.it.usyd.edu.au:8080/jenkins/github-webhook/ on Wed. Jul. 29 16:29:12 AEST 2020
Using strategy: Default
[poll] Last Built Revision: Revision 9ac5f8dd18d4e78050e662e5590d47a10b3187dc (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 -- https://github.com/souffle-lang/souffle.git # timeout=10
Found 4 remote heads on https://github.com/souffle-lang/souffle.git
Ignoring refs/heads/btree-delete as it doesn't match any of the configured refspecs
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: 0f59e845b7fba30e5c16ff735e0f0b80ca3b740a
Done. Took 1.2 sec
Changes found