Status

Changes

Console Output

View as plain text

View Build Information

Git Build Data

See Fingerprints

Open Blue Ocean

Pipeline Steps

Previous Build

Started 1 yr 2 mo ago

Took 6 min 51 sec

Build #2 (Feb 16, 2023, 12:55:34 PM)

Build Artifacts

	MLS.pdf	3.52 MB	view
	MLS.tar.gz	2.23 MB	view

Changes

Avoid unnecessary switch to math mode for \ldots (details / githubweb)

Pull request #3343 updated at 12:55:19 PM on Feb 16, 2023

Revision: 8c68dfb0e1c10d4140b6413878eb8570e12e5f60
Repository: https://github.com/modelica/ModelicaSpecification.git

PR-3343