Status

Changes

Console Output

View as plain text

View Build Information

Git Build Data

Docker Fingerprints

See Fingerprints

Open Blue Ocean

Pipeline Steps

Previous Build

Started 3 yr 11 mo ago

Took 4 min 51 sec

Build #37 (May 6, 2020, 11:01:03 PM)

Build Artifacts

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

Changes

Remove "there" in "guarantee that there all" (details / githubweb)

Pull request #2551 updated at 11:00:56 PM on May 6, 2020

Revision: 805186611aae17723d61b5b81d40116ad3b8d612
Repository: https://github.com/modelica/ModelicaSpecification.git

PR-2551