Started on Apr 7, 2021, 9:39:39 AM
Started by event from 140.82.115.155 ⇒ http://dev.digital-humanities.de:8080/ci/github-webhook/ on Wed Apr 07 09:39:36 CEST 2021
Using strategy: Default
[poll] Last Built Revision: Revision 56afdaf5ad2ca6bbcb47307194e6dc3bf10729b3 (refs/remotes/origin/gradle)
The recommended git tool is: NONE
No credentials specified
 > /usr/bin/git --version # timeout=10
 > git --version # 'git version 2.20.1'
 > /usr/bin/git ls-remote -h -- git://github.com/faustedition/faust-gen # timeout=10
Found 6 remote heads on git://github.com/faustedition/faust-gen
[poll] Latest remote head revision on refs/heads/gradle is: d3a1245a97a5d501961477107cdce3a7d4c073f0
Done. Took 0.3 sec
Changes found