Status

Changes

Console Output

View as plain text

View Build Information

Git Build Data

See Fingerprints

Open Blue Ocean

Pipeline Steps

Previous Build

Started 3 yr 2 mo ago

Took 8 min 57 sec

Build #2 (Feb 19, 2021, 9:51:13 AM)

Build Artifacts

	MLS.pdf	3.31 MB	view
	MLS.tar.gz	2.16 MB	view

Changes

Avoid current HTML jump target being hidden behind page header (details / githubweb)
Fine tune padding at top of HTML pages (details / githubweb)

Pull request #2861 updated at 9:51:02 AM on Feb 19, 2021

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

PR-2861