Skip to content

chore(bazel): align development-only dependencies - #41

Open
eclipse-score-bot wants to merge 1 commit into
mainfrom
repo-policy-sync/dev-dependency-alignment
Open

eclipse-score-bot wants to merge 1 commit into
mainfrom
repo-policy-sync/dev-dependency-alignment

Conversation

@eclipse-score-bot

@eclipse-score-bot eclipse-score-bot commented Sep 12, 2026 •

Copy link
Copy Markdown

Policy

dev-dependency-alignment

Keep Bazel toolchain, lint, image, and documentation dependencies in the
intended dependency graph. The listed build-support dependencies are
development-only, while score_docs_as_code is used by the normal build graph.

Why this repository?

This repository matches this policy because MODULE.bazel matches at least one listed module name through either a direct Bazel dependency or this repository's own module declaration: score_bazel_cpp_toolchains, buildifier_prebuilt, aspect_rules_lint, toolchains_llvm, score_rules_imagefs, score_docs_as_code.

Changes

  • MODULE.bazel: set Bazel dependency 'buildifier_prebuilt' dev_dependency to true
    • Buildifier is a development-time formatting tool.
  • MODULE.bazel: set Bazel dependency 'aspect_rules_lint' dev_dependency to true
    • Lint rules are only needed for development and validation.

Tool revision

Generated from eclipse-score/tools at commit e7eb416.


This pull request is managed by SCORE Repository Policy Sync and may be updated by a later policy run.
Please report any issues to #score-infrastructure.

Note

This pull request is generated automatically. Review the proposed changes
before merging.

@github-actions

Copy link
Copy Markdown

@eclipse-score-bot
eclipse-score-bot force-pushed the repo-policy-sync/dev-dependency-alignment branch from 97c02d2 to c25d0be Compare September 22, 2026 08:56
@github-actions

Copy link
Copy Markdown

@eclipse-score-bot
eclipse-score-bot force-pushed the repo-policy-sync/dev-dependency-alignment branch from c25d0be to 0b63791 Compare September 30, 2026 01:16
@github-actions

Copy link
Copy Markdown

@eclipse-score-bot
eclipse-score-bot force-pushed the repo-policy-sync/dev-dependency-alignment branch from 0b63791 to 6fa09c7 Compare October 1, 2026 01:23
@github-actions

github-actions Bot commented Oct 1, 2026

Copy link
Copy Markdown

@eclipse-score-bot
eclipse-score-bot force-pushed the repo-policy-sync/dev-dependency-alignment branch from 6fa09c7 to fcf5eec Compare October 2, 2026 01:13
@github-actions

github-actions Bot commented Oct 2, 2026

Copy link
Copy Markdown

@eclipse-score-bot
eclipse-score-bot force-pushed the repo-policy-sync/dev-dependency-alignment branch from fcf5eec to e8c1c29 Compare October 2, 2026 17:13
@github-actions

github-actions Bot commented Oct 2, 2026

Copy link
Copy Markdown

@eclipse-score-bot
eclipse-score-bot force-pushed the repo-policy-sync/dev-dependency-alignment branch from e8c1c29 to f68d0ac Compare October 3, 2026 01:10
@github-actions

github-actions Bot commented Oct 3, 2026

Copy link
Copy Markdown

@eclipse-score-bot
eclipse-score-bot force-pushed the repo-policy-sync/dev-dependency-alignment branch from f68d0ac to f728ab7 Compare October 10, 2026 01:16
@github-actions

Copy link
Copy Markdown

@eclipse-score-bot
eclipse-score-bot force-pushed the repo-policy-sync/dev-dependency-alignment branch from f728ab7 to 817ff9a Compare October 13, 2026 01:19
@github-actions

Copy link
Copy Markdown

@eclipse-score-bot
eclipse-score-bot force-pushed the repo-policy-sync/dev-dependency-alignment branch from 817ff9a to 99cc3f5 Compare October 26, 2026 15:36
@github-actions

Copy link
Copy Markdown

@eclipse-score-bot
eclipse-score-bot force-pushed the repo-policy-sync/dev-dependency-alignment branch from 99cc3f5 to 33f3aca Compare October 28, 2026 00:53
@github-actions

Copy link
Copy Markdown

@eclipse-score-bot
eclipse-score-bot force-pushed the repo-policy-sync/dev-dependency-alignment branch from 33f3aca to 97056d4 Compare November 2, 2026 09:40
@github-actions

github-actions Bot commented Nov 2, 2026

Copy link
Copy Markdown

@eclipse-score-bot
eclipse-score-bot force-pushed the repo-policy-sync/dev-dependency-alignment branch from 97056d4 to cc9e6ce Compare November 3, 2026 00:45
@github-actions

github-actions Bot commented Nov 3, 2026

Copy link
Copy Markdown

@eclipse-score-bot
eclipse-score-bot force-pushed the repo-policy-sync/dev-dependency-alignment branch from cc9e6ce to 01bf34b Compare November 3, 2026 08:15
@github-actions

github-actions Bot commented Nov 3, 2026

Copy link
Copy Markdown

@eclipse-score-bot
eclipse-score-bot force-pushed the repo-policy-sync/dev-dependency-alignment branch from 01bf34b to 1f00c39 Compare November 4, 2026 00:47
@github-actions

github-actions Bot commented Nov 4, 2026

Copy link
Copy Markdown

@eclipse-score-bot
eclipse-score-bot force-pushed the repo-policy-sync/dev-dependency-alignment branch from 1f00c39 to ac418e4 Compare November 6, 2026 00:47
@github-actions

github-actions Bot commented Nov 6, 2026

Copy link
Copy Markdown

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants