Build manual

Fix #14657 report type: handle id suffix better when getting guideline number #21298

Sign in to view logs

This workflow is awaiting approval from a maintainer in #8426

Triggered via pull request April 9, 2026 06:28

wjakobsson

synchronize #8426

wjakobsson:fix-14657

Status Action required

Total duration –

Artifacts –

This workflow is awaiting approval from a maintainer in #8426

buildman.yml

on: pull_request

convert_via_pandoc