Console Output

Started by upstream project "main" build number 4812
originally caused by:
 Started by GitHub push by damiendoligez
 Started by GitHub push by damiendoligez
 Started by GitHub push by gasche
 Started by GitHub push by gasche
Running as SYSTEM
Building remotely on ocaml-centos-oldest (linux active) in workspace /builds/workspace/main/flambda/false/label/ocaml-centos-oldest
The recommended git tool is: git
using credential 1460efba-98da-4ca5-9696-a7e681202cc4
 > git rev-parse --resolve-git-dir /builds/workspace/main/flambda/false/label/ocaml-centos-oldest/.git # 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
 > git --version # 'git version 1.8.3.1'
using GIT_SSH to set credentials Credential used by Jenkins to login to GitHub over SSH
 > git fetch --tags --progress https://github.com/ocaml/ocaml +refs/heads/*:refs/remotes/origin/* # timeout=30
Checking out Revision d8e6b0904b7eebecf0c653d38ef0457506445940 (origin/trunk)
 > git config core.sparsecheckout # timeout=10
 > git checkout -f d8e6b0904b7eebecf0c653d38ef0457506445940 # timeout=30
Commit message: "Merge pull request #14209 from damiendoligez/fix-weak-set-mm"
 > git rev-list --no-walk 3c36ad0446dd1649444d16dfa64320cf92caf923 # timeout=10
No emails were triggered.
New run name is 'origin/trunk-#4812'
[ocaml-centos-oldest] $ /bin/sh -xe /tmp/jenkins7368837759242527229.sh
+ ./tools/ci/inria/launch ./tools/ci/inria/main
+ case "${OCAML_ARCH}" in
+ exec ./tools/ci/inria/main
tools/ci/inria/main:
arguments: 
OCAML_CONFIGURE_OPTIONS=
OCAML_JOBS=
OCAML_4_ONLY=true
This machine/OS does not support OCaml 5. Stopping now.
No emails were triggered.
Finished: SUCCESS