Started by upstream project "main" build number 4826
originally caused by:
 Started by GitHub push by dra27
 Started by GitHub push by dra27
 Started by GitHub push by dra27
 Started by GitHub push by dra27
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 53bb5a854ee6548033b290a463c3ff3684a5ab36 (origin/trunk)
 > git config core.sparsecheckout # timeout=10
 > git checkout -f 53bb5a854ee6548033b290a463c3ff3684a5ab36 # timeout=30
Commit message: "Merge pull request #14218 from damiendoligez/fix-otherconfigs"
 > git rev-list --no-walk 06cff99d92104d931c3cdf689a05565c64a5629a # timeout=10
No emails were triggered.
New run name is 'origin/trunk-#4826'
[ocaml-centos-oldest] $ /bin/sh -xe /tmp/jenkins18137082409760340763.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