Skip to content

Jenkins

log in

1. Dashboard
3. precheck-sanitizers
5. #8
7. Pipeline Steps

Status

Changes

Console Output

View as plain text

View Build Information

Parameters

Git Build Data

Pipeline Steps

Workspaces

Previous Build

Next Build

Step	Arguments		Status
Start of Pipeline - (23 min in block)
node - (23 min in block)	ocaml-linux-64
node block - (23 min in block)
stage - (0.76 sec in block)	Declarative: Checkout SCM
stage block (Declarative: Checkout SCM) - (0.7 sec in block)
checkout - (0.68 sec in self)
withEnv - (23 min in block)	GIT_AUTHOR_EMAIL, GIT_AUTHOR_NAME, GIT_BRANCH, GIT_COMMIT, GIT_COMMITTER_EMAIL, GIT_COMMITTER_NAME, GIT_PREVIOUS_COMMIT, GIT_PREVIOUS_SUCCESSFUL_COMMIT, GIT_URL
withEnv block - (23 min in block)
timeout - (23 min in block)
timeout block - (23 min in block)
stage - (23 min in block)	Compiling and testing OCaml with sanitizers
stage block (Compiling and testing OCaml with sanitizers) - (23 min in block)
sh - (23 min in self)	tools/ci/inria/sanitizers/script