Skip to content

chore(pre_build): drop the dead VERSION var; record the README-pin resolution (#155) - #174

Merged
Jammy2211 merged 1 commit into
mainfrom
feature/build-chain-closeout
Jul 22, 2026
Merged

chore(pre_build): drop the dead VERSION var; record the README-pin resolution (#155)#174
Jammy2211 merged 1 commit into
mainfrom
feature/build-chain-closeout

Commits

Commits on Jul 22, 2026