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 5 mo 16 days ago

Took 5 min 5 sec

Build #3 (Nov 27, 2023, 2:49:06 PM)

Build Artifacts

	MLS.pdf	3.44 MB	view
	MLS.tar.gz	2.18 MB	view

Changes

Add "in different translation units" (details / githubweb)
Insert missing "tools" to make sentence parse (details / githubweb)
Simplify slightly by avoiding negation (details / githubweb)

Pull request #3452 updated at 2:44:22 PM on Nov 27, 2023

Pull request #3452 updated at 2:48:25 PM on Nov 27, 2023

Revision: 7a4cd2202fa5e181c7a5c065d03912aa2586bc96
Repository: https://github.com/modelica/ModelicaSpecification.git

PR-3452