100%
WDescription%
Build stability: No recent builds failed.100
Build History
x
 
 
 
 
 
 
 

Last GitHub Push

Started on 27 Nov. 2020, 1:44:25 pm
Started by event from 140.82.115.242 ⇒ http://plang1.it.usyd.edu.au:8080/jenkins/github-webhook/ on Fri. Nov. 27 13:44:24 AEDT 2020
Using strategy: Default
[poll] Last Built Revision: Revision 55baebedb29c3f459c575b665e1a0466698b6ef3 (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/lattice 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: 17806893ba9f35dc2e05ca072aff5bc28ad0fe88
Done. Took 1.1 sec
Changes found