Repository navigation

Add scripts/dev.sh and scope the CI jobs to what changed - #25

Merged

zmaril merged 1 commit into

mainfrom

dev-script-and-ci-scoping

Aug 30, 2026

Commits on Aug 29, 2026
- Add scripts/dev.sh and scope the CI jobs to what changed
  
  zmaril
  and
  claude
  committed
  49c1a12