Skip to content

Jenkins

log in

1. Dashboard
3. Risc-V
5. #843
7. Pipeline Steps

Status

Changes

Console Output

View as plain text

View Build Information

Polling Log

Git Build Data

Pipeline Steps

Workspaces

Next Build

Step	Arguments		Status
Start of Pipeline - (44 min in block)
node - (44 min in block)	olive
node block - (44 min in block)
stage - (2.3 sec in block)	Declarative: Checkout SCM
stage block (Declarative: Checkout SCM) - (2.2 sec in block)
checkout - (2.2 sec in self)
withEnv - (44 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 - (44 min in block)
timeout - (44 min in block)
timeout block - (44 min in block)
stage - (44 min in block)	Verifying that OCaml commpiles on a Risc-V virtual machine
stage block (Verifying that OCaml commpiles on a Risc-V virtual machine) - (44 min in block)
sh - (44 min in self)	ssh -p 10000 riscv@localhost GIT_COMMIT=${GIT_COMMIT} flambda=false /home/riscv/run-ci