Started on Dec 16, 2020 2:29:00 PM
Using strategy: Default
[poll] Last Built Revision: Revision c3fc21b551602ea077793cf74fc7aee0666e7c9f (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: b21f190c95a6ba7ba5bf1c054586c98c5ae390ed
Done. Took 90 ms
Changes found