Polling Log

View as plain text

This page captures the polling log that triggered this build.

Started on 27 Sep. 2020, 2:03:13 pm
Started by event from 140.82.115.247 ⇒ http://plang1.it.usyd.edu.au:8080/jenkins/github-webhook/ on Sun. Sep. 27 14:03:12 AEST 2020
Using strategy: Default
[poll] Last Built Revision: Revision efd6ab39db2e86af8551a6677cf0eddf5d1febea (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: 994288cd7d9abd3be339ab91de7c93e1c713fa93
Done. Took 1.1 sec
Changes found