Skip to content
General linting

docs: script to convert HTML manual pages to markdown (#4620) #13360

Sign in to view logs

docs: script to convert HTML manual pages to markdown (#4620)

docs: script to convert HTML manual pages to markdown (#4620) #13360

Triggered via push February 5, 2025 17:23
@petrasovaapetrasovaa
pushed 560e6d2
main
Status Success
Total duration 3m 58s
Artifacts –

super-linter.yml

on: push
GitHub Super Linter
3m 48s
GitHub Super Linter
Fit to window
Zoom out
Zoom in