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 42 sec

Build #25 (Oct 11, 2019, 2:38:50 PM)

	Changes prepare for syntax generation (details / githubweb)
	Pull request #2378 updated at 2:38:43 PM on Oct 11, 2019