Skip to content

coverage: update#111

Merged
MaximilianSoerenPollak merged 3 commits intoeclipse-score:mainfrom
qorix-group:dcalavrezo_coverage_update
Feb 13, 2026
Merged

coverage: update#111
MaximilianSoerenPollak merged 3 commits intoeclipse-score:mainfrom
qorix-group:dcalavrezo_coverage_update

Conversation

@dcalavrezo-qorix
Copy link
Contributor

Allow running Ferrocene rust coverage from reference_integration against external labels by resolving external repo roots and test.outputs paths.

Infer crate_root more robustly, pass absolute paths to symbol-report and map external sources via output_base for blanket path resolution.

Document integration-workspace usage and add explanatory comments.

  Allow running Ferrocene rust coverage from reference_integration against
  external labels by resolving external repo roots and test.outputs paths.
  Infer crate_root more robustly, pass absolute paths to symbol-report and
  map external sources via output_base for blanket path resolution.
  Document integration-workspace usage and add explanatory comments.

Signed-off-by: Dan Calavrezo <195309321+dcalavrezo-qorix@users.noreply.github.com>
commit = "718388bd5e0f10debd97a131d238ad4d758ddd1e",
remote = "https://github.com/eclipse-score/docs-as-code.git",
)
bazel_dep(name = "score_docs_as_code", version = "3.0.0", dev_dependency = True)
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

You need to keep the override - until we solve the current mess

Suggested change
bazel_dep(name = "score_docs_as_code", version = "3.0.0", dev_dependency = True)
bazel_dep(name = "score_docs_as_code", version = "3.0.0", dev_dependency = True)
git_override(
module_name = "score_docs_as_code",
commit = "718388bd5e0f10debd97a131d238ad4d758ddd1e",
remote = "https://github.com/eclipse-score/docs-as-code.git",
)

tried to fix formatting and dependecy

Signed-off-by: Dan Calavrezo <195309321+dcalavrezo-qorix@users.noreply.github.com>
pushed git_override

Signed-off-by: Dan Calavrezo <195309321+dcalavrezo-qorix@users.noreply.github.com>
@MaximilianSoerenPollak MaximilianSoerenPollak merged commit 935a534 into eclipse-score:main Feb 13, 2026
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Development

Successfully merging this pull request may close these issues.

3 participants