Skip to content
[Jenkins]Jenkins
log in
StepArgumentsStatus
Start of Pipeline - (13 min in block)
node - (13 min in block)ocaml-linux-64
node block - (13 min in block)
stage - (1 sec in block)Declarative: Checkout SCM
stage block (Declarative: Checkout SCM) - (1 sec in block)
checkout - (1 sec in self)
withEnv - (13 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 - (13 min in block)
timeout - (13 min in block)
timeout block - (13 min in block)
stage - (13 min in block)Verifying that the OCaml compiler can be bootstrapped
stage block (Verifying that the OCaml compiler can be bootstrapped) - (13 min in block)
sh - (13 min in self)tools/ci/inria/bootstrap/script