Last GitHub Push
Started on Apr 13, 2025 6:47:32 PM
Started by event from 140.82.115.208 → 127.0.0.1 ⇒ https://monteverdi.informatik.uni-freiburg.de:56789/ci/github-webhook/ on Sun Apr 13 18:47:32 CEST 2025
Using strategy: Default
[poll] Last Built Revision: Revision 82bafc9cea3eed331db241eeb49affdbca6e5987 (origin/master)
The recommended git tool is: NONE
No credentials specified
> git --version # timeout=10
> git --version # 'git version 2.38.2'
> git ls-remote -h -- https://github.com/ultimate-pa/smtinterpol.git # timeout=10
Found 29 remote heads on https://github.com/ultimate-pa/smtinterpol.git
[poll] Latest remote head revision on refs/heads/master is: ae30fd90f647b99e0936a89648611c5f17710353
Done. Took 0.28 sec
Changes found