![[Jenkins]](/ocaml/static/8707ff75/images/svgs/logo.svg){kind=logo}
Started by GitHub push by Octachron Lightweight checkout support not available, falling back to full checkout. Checking out git git@github.com:ocaml/ocaml.git into /net/www/ci/ocaml/workspace/Risc-V@script to read tools/ci/inria/Risc-V/Jenkinsfile The recommended git tool is: git using credential 1460efba-98da-4ca5-9696-a7e681202cc4 > git rev-parse --resolve-git-dir /net/www/ci/ocaml/workspace/Risc-V@script/.git # timeout=10 Fetching changes from the remote Git repository > git config remote.origin.url git@github.com:ocaml/ocaml.git # timeout=10 Fetching upstream changes from git@github.com:ocaml/ocaml.git > git --version # timeout=10 > git --version # 'git version 2.7.4' using GIT_SSH to set credentials Credential used by Jenkins to login to GitHub over SSH > git fetch --tags --progress git@github.com:ocaml/ocaml.git +refs/heads/*:refs/remotes/origin/* # timeout=10 Seen branch in repository origin/3.08 Seen branch in repository origin/3.09 Seen branch in repository origin/3.10 Seen branch in repository origin/3.11 Seen branch in repository origin/3.12 Seen branch in repository origin/4.00 Seen branch in repository origin/4.01 Seen branch in repository origin/4.02 Seen branch in repository origin/4.03 Seen branch in repository origin/4.04 Seen branch in repository origin/4.05 Seen branch in repository origin/4.06 Seen branch in repository origin/4.07 Seen branch in repository origin/4.08 Seen branch in repository origin/4.09 Seen branch in repository origin/4.10 Seen branch in repository origin/4.11 Seen branch in repository origin/4.12 Seen branch in repository origin/4.13 Seen branch in repository origin/4.14 Seen branch in repository origin/5.0 Seen branch in repository origin/abstract-new Seen branch in repository origin/annot-from-lambda Seen branch in repository origin/autofocus Seen branch in repository origin/cducetrunk Seen branch in repository origin/class-with-type Seen branch in repository origin/contracts Seen branch in repository origin/contracts-3.11 Seen branch in repository origin/delegate Seen branch in repository origin/deprecated_optional_arguments Seen branch in repository origin/dothat Seen branch in repository origin/dwarf Seen branch in repository origin/dynamics Seen branch in repository origin/dyntypes Seen branch in repository origin/expoly Seen branch in repository origin/fastclass Seen branch in repository origin/fmu Seen branch in repository origin/gadts Seen branch in repository origin/gadts-devel Seen branch in repository origin/gadts-devel-lenormand Seen branch in repository origin/gcaml Seen branch in repository origin/gcaml3 Seen branch in repository origin/gcaml3090 Seen branch in repository origin/gcaml3101 Seen branch in repository origin/hidden_args Seen branch in repository origin/implicit-subtyping Seen branch in repository origin/implicits Seen branch in repository origin/ios-support Seen branch in repository origin/jo311 Seen branch in repository origin/jo312 Seen branch in repository origin/jo400 Seen branch in repository origin/jo401 Seen branch in repository origin/jocamltrunk Seen branch in repository origin/jocamltrunk+cduce Seen branch in repository origin/letopen Seen branch in repository origin/mark_expansive Seen branch in repository origin/merge_sig_str Seen branch in repository origin/mltk Seen branch in repository origin/module_of_module_type Seen branch in repository origin/monadic_let Seen branch in repository origin/multimatch Seen branch in repository origin/namespaces Seen branch in repository origin/newfunsyntax Seen branch in repository origin/newoolab Seen branch in repository origin/newoolab2 Seen branch in repository origin/newoolabmult Seen branch in repository origin/non-vanishing Seen branch in repository origin/objvariants Seen branch in repository origin/ocamlmode Seen branch in repository origin/olabl Seen branch in repository origin/open_types Seen branch in repository origin/polyrec Seen branch in repository origin/pr8891 Seen branch in repository origin/pr8908 Seen branch in repository origin/pr8934 Seen branch in repository origin/private_abbrevs Seen branch in repository origin/record-disambiguation Seen branch in repository origin/short-paths Seen branch in repository origin/short-paths-4.01 Seen branch in repository origin/sigsubst Seen branch in repository origin/static_exceptions Seen branch in repository origin/strict_labels Seen branch in repository origin/treematch Seen branch in repository origin/trunk Seen branch in repository origin/varunion Seen 85 remote branches > git show-ref --tags -d # timeout=10 Checking out Revision 4726462c08b57ea1c1051a82f8b6589b9bad7eac (origin/trunk) > git config core.sparsecheckout # timeout=10 > git checkout -f 4726462c08b57ea1c1051a82f8b6589b9bad7eac # timeout=10 Commit message: "fix over-eager label erasure in documentation (#11870)" > git rev-list --no-walk 96004ee8006be453a658a819ff8c2637411e974c # timeout=10 Running in Durability level: MAX_SURVIVABILITY [Pipeline] Start of Pipeline [Pipeline] node Still waiting to schedule task ‘olive’ is offline [Pipeline] // node [Pipeline] End of Pipeline ERROR: Queue task was cancelled Finished: FAILURE