Started on Nov 17, 2020 1:29:00 PM
Using strategy: Default
[poll] Last Built Revision: Revision d3a4e683d9eeeee7678109bb0a6960029144ff48 (origin/master)
No credentials specified
 > /usr/local/bin/git --version # timeout=10
 > /usr/local/bin/git ls-remote -h -- /gitroot/viatra/org.eclipse.viatra.git # timeout=10
Found 16 remote heads on /gitroot/viatra/org.eclipse.viatra.git
[poll] Latest remote head revision on refs/heads/master is: 758870bfb01428e6d8039643313d52b5ad25d9ef
Done. Took 78 ms
Changes found