feat: provide tools via bazel in addition to devcontainer - #116

Merged

lurtz merged 12 commits into

mainfrom

Apr 28, 2026

Commits on Apr 23, 2026

feat: provide tools via bazel in addition to devcontainer
AlexanderLanin
committed
e9b92ad

Commits on Apr 27, 2026

move versions.sh
AlexanderLanin
committed
29db333
auto format
AlexanderLanin
committed
0d1960e
auto fix
AlexanderLanin
committed
00de55d
fix local .devcontainer
AlexanderLanin
committed
45dc467
wip
AlexanderLanin
committed
f6b56c2
rename
AlexanderLanin
committed
b7b0099
docs: assume score_devcontainer module is in registry
AlexanderLanin
committed
232d775
document run_tools
AlexanderLanin
committed
e38d2dc
drop sh and use py

AlexanderLanin
and
Copilot
committed
c762db9
move shellcheck config
AlexanderLanin
committed
4c9cb1e
make tool_installer executable
AlexanderLanin
committed
ca83ed2