This page captures the polling log that triggered this build.
Started on 29 Jul. 2020, 4:29:12 pm Started by event from 18.104.22.168 ⇒ 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