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 4 yr 0 mo ago

Took 7 min 6 sec

Build #37 (May 6, 2020, 11:03:50 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)

Push event to branch cleanup/nonnormative at 11:00:55 PM on May 6, 2020

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

cleanup/nonnormative