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

Next Build

Started 4 yr 0 mo ago

Took 4 min 49 sec

Build #29 (May 6, 2020, 10:00:35 PM)

Build Artifacts

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

Changes

Remove redundant non-normative text on extending from operator record (details / githubweb)

Pull request #2551 updated at 10:00:27 PM on May 6, 2020

Revision: de2eff6ba45e60bb0e49dba3cb237fa898a5453d
Repository: https://github.com/modelica/ModelicaSpecification.git

PR-2551