Started by timer
[Wed Jul 02 11:19:12 CEST 2025] Starting branch indexing...
 > git --version # timeout=10
 > git --version # 'git version 2.43.0'
 > git ls-remote --symref -- https://gitlab.inria.fr/RMOD/libgit-build.git # timeout=10
 > git rev-parse --resolve-git-dir /net/www/ci/pharo-ci-jenkins2/caches/git-6cfc5dba794b5bb6ac365d47d4ad57e9/.git # timeout=10
Setting origin to https://gitlab.inria.fr/RMOD/libgit-build.git
 > git config remote.origin.url https://gitlab.inria.fr/RMOD/libgit-build.git # timeout=10
Fetching & pruning origin...
Listing remote references...
 > git config --get remote.origin.url # timeout=10
 > git --version # timeout=10
 > git --version # 'git version 2.43.0'
 > git ls-remote -h -- https://gitlab.inria.fr/RMOD/libgit-build.git # timeout=10
Fetching upstream changes from origin
 > git config --get remote.origin.url # timeout=10
 > git fetch --tags --force --progress --prune -- origin +refs/heads/*:refs/remotes/origin/* # timeout=10
Checking branches...
  Checking branch master
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: master (still at 7192c268da339cc2100938b676e49814400186df)
Processed 1 branches
[Wed Jul 02 11:19:14 CEST 2025] Finished branch indexing. Indexing took 1.5 sec
Finished: SUCCESS