Started by GitHub push by MathieuMorlighem Running as SYSTEM Building remotely on Debian_12-VM (debian linux) in workspace /home/jenkins/workspace/Debian_Linux-ADOL-C The recommended git tool is: NONE > git rev-parse --resolve-git-dir /home/jenkins/workspace/Debian_Linux-ADOL-C/.git # timeout=10 Fetching changes from the remote Git repository > git config remote.origin.url git@github.com:ISSMteam/ISSM.git # timeout=10 Fetching upstream changes from git@github.com:ISSMteam/ISSM.git > git --version # timeout=10 > git --version # 'git version 2.39.5' using GIT_SSH to set credentials GitHub Deploy Key - ISSMteam/ISSM - Jenkins Verifying host key using known hosts file > git fetch --tags --force --progress -- git@github.com:ISSMteam/ISSM.git +refs/heads/*:refs/remotes/origin/* # timeout=10 > git rev-parse refs/remotes/origin/main^{commit} # timeout=10 Checking out Revision c810b0812f05b17ca2c27d54f0bab2bfea71753f (refs/remotes/origin/main) > git config core.sparsecheckout # timeout=10 > git checkout -f c810b0812f05b17ca2c27d54f0bab2bfea71753f # timeout=10 Commit message: "Merge pull request #140 from dabele/optional_final_output" > git rev-list --no-walk 209abef00d6d91d8a0d3c51cf18812e1f58240bb # timeout=10 No emails were triggered. Triggering Debian Linux - ADOL-C » ampion,Debian_12-VM Configuration Debian Linux - ADOL-C » ampion,Debian_12-VM is still in the queue: Waiting for next available executor on ‘Debian_12-VM’ Debian Linux - ADOL-C » ampion,Debian_12-VM completed with result SUCCESS No emails were triggered. Finished: SUCCESS