Skip to content

Jenkins

log in

1. Dashboard
3. All
5. other-configs
7. #2908
9. Pipeline Steps

Status

Changes

Console Output

View as plain text

View Build Information

Polling Log

Git Build Data

Lockable resources

Pipeline Steps

Workspaces

Next Build

Step	Arguments		Status
Start of Pipeline - (30 min in block)
node - (30 min in block)	ocaml-linux-64
node block - (30 min in block)
stage - (1.6 sec in block)	Declarative: Checkout SCM
stage block (Declarative: Checkout SCM) - (1.5 sec in block)
checkout - (1.5 sec in self)
withEnv - (30 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 - (30 min in block)
timeout - (30 min in block)
timeout block - (30 min in block)
stage - (30 min in block)	Testing various other compiler configurations
stage block (Testing various other compiler configurations) - (30 min in block)
sh - (30 min in self)	tools/ci/inria/other-configs/script