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 11 mo ago

Took 5 min 0 sec

Build #2 (May 9, 2019, 12:22:00 PM)

Build Artifacts

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

Changes

Fix inline formatting of pre(m) (details / githubweb)

Pull request #2351 updated at 12:21:52 PM on May 9, 2019