Skip to content
[Jenkins]Jenkins
log in
Success

Console Output

Download View as plain text
Started by user damien.doligez@inria.fr
Running as SYSTEM
Building remotely on ocaml-linux-64 (active flambda) in workspace /home/barsac/ci/builds/workspace/tmp
The recommended git tool is: git
using credential 1460efba-98da-4ca5-9696-a7e681202cc4
 > git rev-parse --resolve-git-dir /home/barsac/ci/builds/workspace/tmp/.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 2.34.1'
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=30
 > git rev-parse refs/remotes/origin/trunk^{commit} # timeout=10
Checking out Revision cd569c102a4723c125b7953c40225a40177a2877 (refs/remotes/origin/trunk)
 > git config core.sparsecheckout # timeout=10
 > git checkout -f cd569c102a4723c125b7953c40225a40177a2877 # timeout=30
Commit message: "Merge pull request #14223 from dra27/mingw-w64-13"
 > git rev-list --no-walk 23852ccb806fbe72d8fe847ddff7a8c2add4421d # timeout=10
New run name is 'origin/trunk-#28'
Triggering tmp » false,ocaml-msvc-32
tmp » false,ocaml-msvc-32 completed with result SUCCESS
New run name is 'origin/trunk-#28'
Finished: SUCCESS