Status

Changes

Console Output

View Build Information

Git Build Data

See Fingerprints

Lockable resources

Open Blue Ocean

Pipeline Steps

Previous Build

Next Build

#2 (Nov 4, 2025, 8:45:50 AM)

Started 16 hr ago

Took 3 min 11 sec

Build Artifacts

	MLS.pdf	3.48 MiB	view
	MLS.tar.gz	2.23 MiB	view

Pull request #3774 updated at 8:45:33 AM on Nov 4, 2025

Revision: 1beca9cb9f22c537b801c70b368e1d1dc3d78ab6
Repository: https://github.com/modelica/ModelicaSpecification.git

PR-3774

Changes

Update chapters/annotations.tex (details / githubweb)