Back to pull request #4620

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

Sign in to view logs

Triggered via pull request October 31, 2024 08:32

neteler

edited #4620

Status Cancelled

Total duration 1m 6s

Artifacts –

titles.yml

on: pull_request_target

validate-titles

Annotations

1 error

validate-titles

Canceling since a higher priority waiting request for 'Validate Titles-manual_html2md' exists