Polling Log

View as plain text

This page captures the polling log that triggered this build.

Started on 27 Sep. 2020, 7:01:35 pm
Started by event from 140.82.115.155 ⇒ http://plang1.it.usyd.edu.au:8080/jenkins/github-webhook/ on Sun. Sep. 27 19:01:34 AEST 2020
Using strategy: Default
[poll] Last Built Revision: Revision 994288cd7d9abd3be339ab91de7c93e1c713fa93 (refs/remotes/origin/master)
The recommended git tool is: NONE
using credential 2de3d1c8-3112-4608-8303-42858c1ed1f9
 > git --version # timeout=10
 > git --version # 'git version 2.25.1'
using GIT_ASKPASS to set credentials Github bot login
 > git ls-remote -h -- https://github.com/souffle-lang/souffle.git # timeout=10
Found 5 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/b-scholz-patch-1 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: e47a12f4c750963f2c35958b076581689f17d031
Done. Took 1.1 sec
Changes found