Skip to content

chore: build early to allow running from github#310

Merged
rlmestre merged 1 commit into
mainfrom
chore/build-early-for-github-install
Aug 26, 2025
Merged

chore: build early to allow running from github#310
rlmestre merged 1 commit into
mainfrom
chore/build-early-for-github-install

Commits

Commits on Aug 26, 2025