Status

Changes

Console Output

View as plain text

View Build Information

Docker Fingerprints

See Fingerprints

Open Blue Ocean

Pipeline Steps

Previous Build

Next Build

Started 4 yr 6 mo ago

Took 4 min 17 sec

Build #30 (Oct 13, 2019, 6:43:13 PM)

Build Artifacts

	MLS.pdf	2.99 MB	view
	MLS.tar.gz	2.30 MB	view

Changes

more processing to minimize the grammar diff (details / githubweb)

Pull request #2378 updated at 6:43:03 PM on Oct 13, 2019