Started on Nov 5, 2019 4:53:00 AM
Using strategy: Default
[poll] Last Built Revision: Revision 7f9d787c7d04f7cddb93ff44f9019af5115756dc (origin/master)
No credentials specified
 > /usr/local/bin/git --version # timeout=10
 > /usr/local/bin/git ls-remote -h git://git.eclipse.org/gitroot/viatra/org.eclipse.viatra.git # timeout=10
Found 14 remote heads on git://git.eclipse.org/gitroot/viatra/org.eclipse.viatra.git
[poll] Latest remote head revision on refs/heads/master is: 6b31b466c8aabbfb7b66e987185c95f79a35c572
Done. Took 0.39 sec
Changes found