Back to pull request #53741

doc: remove the last <pre> tag #59701

Sign in to view logs

Triggered via pull request July 6, 2024 00:48

ovflowd

synchronize #53741

doc-remove-pre-tag

Status Success

Total duration 3m 26s

Artifacts –

linters.yml

on: pull_request

lint-addon-docs

lint-codeowners