Last GitHub Push
Started on Dec 4, 2024, 1:03:48 PM
Started by event from 140.82.115.48 ⇒ http://dev.digital-humanities.de:8080/ci/github-webhook/ on Wed Dec 04 13:03:48 CET 2024
Using strategy: Default
[poll] Last Built Revision: Revision 1f1fd341d0e7535d79f4a744e5964f036d1f5b24 (refs/remotes/origin/master)
The recommended git tool is: NONE
using credential Github
> /usr/bin/git --version # timeout=10
> git --version # 'git version 2.30.2'
using GIT_ASKPASS to set credentials
> /usr/bin/git ls-remote -h -- https://github.com/faustedition/faust-gen # timeout=10
Found 8 remote heads on https://github.com/faustedition/faust-gen
[poll] Latest remote head revision on refs/heads/master is: 1f1fd341d0e7535d79f4a744e5964f036d1f5b24 - already built by 75
Done. Took 0.36 sec
No changes