Skip to content

Fold long undefined-symbol reports with <details>/<summary>#6

Merged
mariotaku merged 1 commit into
mainfrom
claude/binary-verification-report-folding-fvlszk
Jul 9, 2026
Merged

Fold long undefined-symbol reports with <details>/<summary>#6
mariotaku merged 1 commit into
mainfrom
claude/binary-verification-report-folding-fvlszk

Conversation

@mariotaku

Copy link
Copy Markdown
Member

The --details Markdown report of ipk-verify lists every undefined symbol
of a failing native binary as a bullet, which can run to dozens or
hundreds of entries and make the report unwieldy in CI/PR comments.

Collapse the undefined-symbol list into a

/ block when
it has more than 10 entries, and only for Markdown output. Terminal and
Plain output keep the plain bullet list, where raw HTML tags would just
be noise. Missing-library bullets stay inline. To do this, thread the
OutputFormat through print_component_details into print_bin_verify_details.

Co-Authored-By: Claude Opus 4.8 noreply@anthropic.com
Claude-Session: https://claude.ai/code/session_01PfjeD1nBEtfapZGVJ1U9am

The --details Markdown report of ipk-verify lists every undefined symbol
of a failing native binary as a bullet, which can run to dozens or
hundreds of entries and make the report unwieldy in CI/PR comments.

Collapse the undefined-symbol list into a <details>/<summary> block when
it has more than 10 entries, and only for Markdown output. Terminal and
Plain output keep the plain bullet list, where raw HTML tags would just
be noise. Missing-library bullets stay inline. To do this, thread the
OutputFormat through print_component_details into print_bin_verify_details.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01PfjeD1nBEtfapZGVJ1U9am
@mariotaku mariotaku merged commit 7d03ea1 into main Jul 9, 2026
1 check passed
@mariotaku mariotaku deleted the claude/binary-verification-report-folding-fvlszk branch July 9, 2026 09:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants