Started by GitHub push by stedolan
Running as SYSTEM
Building remotely on olive in workspace /home/ci/workspace/Risc-V
using credential 1460efba-98da-4ca5-9696-a7e681202cc4
 > git rev-parse --is-inside-work-tree # timeout=10
Fetching changes from the remote Git repository
 > git config remote.origin.url https://github.com/ocaml/ocaml # timeout=10
Fetching upstream changes from https://github.com/ocaml/ocaml
 > git --version # timeout=10
using GIT_SSH to set credentials Credential used by Jenkins to login to GitHub over SSH
 > git fetch --tags --force --progress -- https://github.com/ocaml/ocaml +refs/heads/*:refs/remotes/origin/* # timeout=10
 > git rev-parse origin/trunk^{commit} # timeout=10
Checking out Revision 8f85e002b2e1f3f4ccf8fefa5ad9a137109168d1 (origin/trunk)
 > git config core.sparsecheckout # timeout=10
 > git checkout -f 8f85e002b2e1f3f4ccf8fefa5ad9a137109168d1 # timeout=10
Commit message: "Merge pull request #9096 from stedolan/backtrace-names"
 > git rev-list --no-walk abfd5d87bbcfa3bdd7c747bb4660b494ca94b62e # timeout=10
New run name is '#45'
[Risc-V] $ /bin/sh -xe /tmp/jenkins5117762862793170821.sh
+ ssh -p 10000 riscv@localhost GIT_COMMIT=8f85e002b2e1f3f4ccf8fefa5ad9a137109168d1 flambda=false /home/riscv/run-ci
+ cd /home/riscv/ocaml
+ git clean -q -fdx
+ git fetch --all
Récupération de origin
Depuis https://github.com/ocaml/ocaml
   66887dd6a..4af0783fb  4.11       -> origin/4.11
   abfd5d87b..8f85e002b  trunk      -> origin/trunk
+ git checkout 8f85e002b2e1f3f4ccf8fefa5ad9a137109168d1
error: Vos modifications locales aux fichiers suivants seraient écrasées par l'extraction :
	.depend
Veuillez valider ou remiser vos modifications avant de basculer de branche.
Abandon
Build step 'Execute shell' marked build as failure
New run name is '#45'
Sending e-mails to: ocaml-ci-notifications@inria.fr
Finished: FAILURE