Started on Aug 24, 2020 4:29:00 AM Using strategy: Default [poll] Last Built Revision: Revision bf64b47240b6dfcb4f5e54086da39daea8db29e7 (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: eb25aa27eb054863abe56ad406d3cedea7d76af5 Done. Took 0.17 sec Changes found