Build only the library, not the whole tree - #12

Closed

henrikottesorensen wants to merge 1 commit into

Notalib:mainfrom

henrikottesorensen:build/only-build-the-library

Commits on Aug 5, 2026

build: Build only the library, not the whole tree

henrikosorensen
and
claude
committed
d457b6e