Skip to content

chore(baselibs): update to latest main, drop rename-manual-verification-report patch - #360

Closed
antonkri wants to merge 2 commits into
mainfrom
baselibs-drop-manual-verification-report-patch
Closed

antonkri wants to merge 2 commits into
mainfrom
baselibs-drop-manual-verification-report-patch

Conversation

@antonkri

Copy link
Copy Markdown
Contributor

Why

baselibs PR #618 fixed module_verification_report to include all components and switched baselibs' own docs/verification_report/module_verification_report.rst to generate its report via the shared module_verification_report post_template (from score_docs_as_code), keeping the id doc__baselibs_verification_report.

The module_verification_report template derives the module id by stripping the doc__ prefix and _verification_report suffix from the need's own id, so this id is now load-bearing. patches/baselibs/005-rename-manual-verification-report-id.patch is no longer compatible with that: reapplying it would rename the id to doc__baselibs_manual_verification_report, which the template would then misparse as module id baselibs_manual, producing an empty report.

The patch also made our own docs/verification_report/modules/baselibs/baselibs_verification_report.rst redundant/conflicting: it redeclared a document need with the same id doc__baselibs_verification_report that baselibs itself now contributes via its docs bundle mount, and referenced the (now non-existent without the patch) doc__baselibs_manual_verification_report id.

What changed

  • Bump score_baselibs known_good pin to 9216215f3a8468f3487884b472e1f325ef36f92b (main after #618).
  • Drop patch 005-rename-manual-verification-report-id.patch from known_good.json and delete the patch file.
  • Regenerate bazel_common/score_modules_target_sw.MODULE.bazel from known_good.json.
  • Simplify docs/verification_report/modules/baselibs/baselibs_verification_report.rst: it no longer redeclares the document, it links to the report baselibs itself contributes via its docs bundle mount (modules/score_baselibs/verification_report/module_verification_report).
  • Refresh MODULE.bazel.lock via bazel mod deps --lockfile_mode=update.

…n-report patch

Baselibs eclipse-score/baselibs#618 fixed the module_verification_report
post_template to include all components and switched baselibs' own
docs/verification_report/module_verification_report.rst to generate its
report via the shared module_verification_report post_template, keeping
the id doc__baselibs_verification_report (the template derives the module
id by stripping doc__/_verification_report from the need's own id, so this
id is now load-bearing).

patches/baselibs/005-rename-manual-verification-report-id.patch is no
longer compatible with that: reapplying it would rename the id to
doc__baselibs_manual_verification_report, which the template would then
misparse as module id baselibs_manual, producing an empty report.

- Bump score_baselibs known_good pin to 9216215f3a8468f3487884b472e1f325ef36f92b (main after #618).
- Drop patch 005 from known_good.json and regenerate bazel_common/score_modules_target_sw.MODULE.bazel.
- Simplify docs/verification_report/modules/baselibs/baselibs_verification_report.rst: it no longer
  redeclares a document with the (now colliding) id, it just links to the report baselibs itself
  contributes via its docs bundle mount.
- Refresh MODULE.bazel.lock via 'bazel mod deps --lockfile_mode=update'.
… wrapper

Remove docs/verification_report/modules/baselibs/, which only redeclared
a redundant document need. Link modules/index.rst directly to
/modules/score_baselibs/verification_report/module_verification_report,
the report baselibs itself contributes via its docs bundle mount, so
clicking "Baselibs" jumps straight to it instead of an intermediate
wrapper page.
@antonkri

Copy link
Copy Markdown
Contributor Author

Superseded by #355 – rebased #355 onto latest main and cherry-picked these two commits on top (baselibs known_good pin bumped to 9216215f3a8468f3487884b472e1f325ef36f92b, patch 005-rename-manual-verification-report-id.patch dropped, and the redundant docs/verification_report/modules/baselibs/ wrapper removed with modules/index.rst now linking directly to baselibs' own module verification report). Closing this PR in favor of #355.

@antonkri antonkri closed this Sep 23, 2026
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.

1 participant