Skip to content
Checks

Fix headers with custom IDs via the correct syntax #523

Sign in to view logs

Fix headers with custom IDs via the correct syntax

Fix headers with custom IDs via the correct syntax #523

Triggered via pull request June 21, 2023 13:50
@richvdhrichvdh
synchronize #1578
fixup-custom-heading-ids
Status Success
Total duration 17s
Artifacts –

checks.yaml

on: pull_request
🔎 Check that new newsfragments are valid
6s
🔎 Check that new newsfragments are valid
Fit to window
Zoom out
Zoom in