Skip to content

docs: use mod_ver_report need type for module verification report - #367

Merged
rmaddikery merged 2 commits into
mainfrom
docs/mod-ver-report-need-type
Oct 21, 2026
Merged

rmaddikery merged 2 commits into
mainfrom
docs/mod-ver-report-need-type

Conversation

@antonkri

@antonkri antonkri commented Oct 20, 2026 •

Copy link
Copy Markdown
Contributor

Migrates the module verification report to the dedicated mod_ver_report need type shipped with score_docs_as_code 8.4.0 (eclipse-score/docs-as-code#944). Same migration as eclipse-score/baselibs#672.

  • docs/verification_report/module_verification_report.rst: document -> mod_ver_report, id doc__logging_verification_report -> mod_vrep__logging__report. The covered module is named explicitly via belongs_to: mod__logging; verification_method: test_and_inspection is the new mandatory option.
  • status changes from draft to valid, because mod_ver_report only allows valid|invalid. The reference in the module safety plan follows the id change.
  • MODULE.bazel: git_override of score_docs_as_code to 1f9452a270d238f7504c7a053b3886536234a650 (docs-as-code main incl. fix: resolve links in templates after Needs are frozen docs-as-code#982, which fixes the "Needs have already been post-processed and frozen" crash of the version-scoped report pies), score_process_description 2.2.0 -> 2.2.1 and the matching MODULE.bazel.lock; the bumped versions match the resolved ones. The override can be dropped with the next docs-as-code release.

@github-actions

github-actions Bot commented Oct 20, 2026 •

Copy link
Copy Markdown

License Check Results

🚀 The license check job ran with the Bazel command:

bazel run --lockfile_mode=error //:license-check

Status: ⚠️ Needs Review

Click to expand output
[License Check Output]
Extracting Bazel installation...
Starting local Bazel server (8.6.0) and connecting to it...
INFO: Invocation ID: e972bf00-619e-46df-b953-587cc2a4dbc3
Computing main repo mapping: 
Computing main repo mapping: 
Computing main repo mapping: 
Computing main repo mapping: 
Computing main repo mapping: 
Computing main repo mapping: 
Computing main repo mapping: 
Computing main repo mapping: 
Computing main repo mapping: 
Computing main repo mapping: 
Computing main repo mapping: 
Computing main repo mapping: 
Loading: 
Loading: 4 packages loaded
DEBUG: /home/runner/.bazel/external/score_docs_as_code+/docs.bzl:716:14: INFO: ⚠️ DEPRECATED: Passing a Needs inventory through docs(data = [...]) is deprecated!!! Move it to external_needs = [...] instead.
WARNING: Target pattern parsing failed.
ERROR: Skipping '//:license-check': no such target '//:license-check': target 'license-check' not declared in package '' defined by /home/runner/work/logging/logging/BUILD
ERROR: no such target '//:license-check': target 'license-check' not declared in package '' defined by /home/runner/work/logging/logging/BUILD
INFO: Elapsed time: 16.383s
INFO: 0 processes.
ERROR: Build did NOT complete successfully
ERROR: Build failed. Not running target

@github-actions

Copy link
Copy Markdown

The created documentation from the pull request is available at: docu-html

Pin score_docs_as_code via git_override to docs-as-code main at
1f9452a270d238f7504c7a053b3886536234a650, which includes
eclipse-score/docs-as-code#982 (fixes the "Needs have already been
post-processed and frozen" crash of the version-scoped report pies).

Bump score_process_description to 2.2.1 to match the resolved version
and update MODULE.bazel.lock accordingly.
@antonkri
antonkri force-pushed the docs/mod-ver-report-need-type branch from a385dff to bdfaeba Compare October 20, 2026 11:15
@antonkri
antonkri deployed to workflow-approval October 20, 2026 11:16 — with GitHub Actions Active
@antonkri
antonkri marked this pull request as ready for review October 20, 2026 12:33
@github-project-automation github-project-automation Bot moved this from Backlog to On Hold in LOG - Logging FT Oct 21, 2026
@rmaddikery
rmaddikery merged commit 339b1dc into main Oct 21, 2026
23 checks passed
@rmaddikery
rmaddikery deleted the docs/mod-ver-report-need-type branch October 21, 2026 07:18
@github-project-automation github-project-automation Bot moved this from On Hold to Done in LOG - Logging FT Oct 21, 2026

This branch was successfully deployed

1 active deployment
workflow-approval — bdfaebaf Deployed Oct 20, 2026 by antonkri via run-tests / coverage approval gate #1385
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants