Started on Sep 17, 2020 2:29:00 PM
Using strategy: Default
[poll] Last Built Revision: Revision eb25aa27eb054863abe56ad406d3cedea7d76af5 (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: 7f4d4e9cab446fec35f62ef45dc27cbff0fd2ba7
Done. Took 63 ms
Changes found