Status

Changes

Console Output

View as plain text

View Build Information

Git Build Data

See Fingerprints

Open Blue Ocean

Pipeline Steps

Previous Build

Next Build

Started 1 yr 6 mo ago

Took 6 min 40 sec

Build #10 (Oct 26, 2022, 9:46:32 AM)

Build Artifacts

	MLS.pdf	3.49 MB	view
	MLS.tar.gz	2.22 MB	view

Changes

Add missing "on" (details / githubweb)
Reformulate "In some cases" (details / githubweb)

Pull request #3257 updated at 9:46:16 AM on Oct 26, 2022

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

PR-3257