Skip to content

build: add sensible default for WORKSPACE#1349

Merged
joaodinissf merged 2 commits into
dsldevkit:masterfrom
joaodinissf:build/default-workspace-property
May 19, 2026
Merged

build: add sensible default for WORKSPACE#1349
joaodinissf merged 2 commits into
dsldevkit:masterfrom
joaodinissf:build/default-workspace-property

Commits

Commits on May 18, 2026