Skip to content
General linting

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

Sign in to view logs

docs: script to convert HTML manual pages to markdown

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

Triggered via pull request October 31, 2024 08:32
@netelerneteler
opened #4620
neteler:manual_html2md
Status Success
Total duration 17m 29s
Artifacts –

super-linter.yml

on: pull_request
GitHub Super Linter
3m 55s
GitHub Super Linter
Fit to window
Zoom out
Zoom in