Skip to content

Feature/671 include richtext headings jump menu #1551

Feature/671 include richtext headings jump menu

Feature/671 include richtext headings jump menu #1551

Triggered via pull request October 22, 2024 23:33
Status Success
Total duration 56s
Artifacts

lint.yml

on: pull_request
lint-and-check-format
47s
lint-and-check-format
Fit to window
Zoom out
Zoom in