Skip to content
Markdownlint on PR

Harmonize titles between main documents and supplements #1618

Sign in to view logs

Harmonize titles between main documents and supplements

Harmonize titles between main documents and supplements #1618

Triggered via pull request November 6, 2024 19:19
@mbuechsembuechse
opened #812
feat/harmonize-titles-0102-and-0118
Status Success
Total duration 18s
Artifacts –

pr-markdownlint.yml

on: pull_request
lint-docs
7s
lint-docs
Fit to window
Zoom out
Zoom in