Started on Jun 8, 2024, 10:39:00 AM Using strategy: Default [poll] Last Built Revision: Revision 4b5f3b42de0adcb2206f2fa58e09fb202d103773 (refs/remotes/origin/master) The recommended git tool is: git No credentials specified > git --version # timeout=10 > git --version # 'git version 2.39.2' > git ls-remote -h -- https://github.com/OpenModelica/OpenModelica.git # timeout=10 Found 19 remote heads on https://github.com/OpenModelica/OpenModelica.git [poll] Latest remote head revision on refs/heads/master is: d21af17721ed15060bbd6d9a5c24a8d07a97a7ea Done. Took 0.43 sec Changes found