Started by timer
[Tue Apr 23 11:19:09 CEST 2024] Starting branch indexing...
 > git --version # timeout=10
 > git --version # 'git version 2.7.4'
 > git ls-remote https://gitlab.inria.fr/RMOD/libgit-build.git # timeout=10
Creating git repository in /net/www/ci/pharo-ci-jenkins2/caches/git-6cfc5dba794b5bb6ac365d47d4ad57e9
 > git init /net/www/ci/pharo-ci-jenkins2/caches/git-6cfc5dba794b5bb6ac365d47d4ad57e9 # 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.7.4'
 > 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 --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
[Tue Apr 23 11:19:17 CEST 2024] Finished branch indexing. Indexing took 8.1 sec
Finished: SUCCESS