prune build dependencies#525

Draft

ala-mode wants to merge 3 commits intodevfrom

prune_build_dependencies

Commits on Sep 4, 2025

move infra dependency to tag instead of commit hash
ala-mode
committed

Commits on Sep 5, 2025