Skip to content

build: drop root check aliases and call //tools targets - #596

Open
arkjedrz wants to merge 1 commit into
mainfrom
arkjedrz_tooling-04-root-labels
Open

arkjedrz wants to merge 1 commit into
mainfrom
arkjedrz_tooling-04-root-labels

Commits

  1. Commits on Oct 28, 2026