Status

Changes

Console Output

View Build Information

Docker Fingerprints

Open Blue Ocean

Pipeline Steps

Previous Build

Next Build

Started 4 yr 6 mo ago

Took 36 sec

Build #24 (Oct 11, 2019, 1:55:13 PM)

	Changes call make in .CI/Jenkinsfile (details / githubweb)
	Pull request #2378 updated at 1:55:03 PM on Oct 11, 2019