Skip to content

docs: script to convert HTML manual pages to markdown #2623

docs: script to convert HTML manual pages to markdown

docs: script to convert HTML manual pages to markdown #2623

Triggered via pull request October 31, 2024 08:32
@netelerneteler
opened #4620
Status Cancelled
Total duration 20s
Artifacts

titles.yml

on: pull_request_target
validate-titles
0s
validate-titles
Fit to window
Zoom out
Zoom in

Annotations

1 error
validate-titles
Canceling since a higher priority waiting request for 'Validate Titles-manual_html2md' exists