Repository navigation

Apply a profile when `active-profile` is written externally - #3

Merged

joaoferrete merged 2 commits into

mainfrom

jf-add-profiling

Aug 11, 2026

Merged

Apply a profile when `active-profile` is written externally#3
joaoferrete merged 2 commits into
mainfrom
jf-add-profiling

Commits on Aug 10, 2026
- feat: apply a profile when `active-profile` is written externally
  
  joaoferrete
  and
  claude
  committed
  46f4e58
- docs: document driving Lighter from another program
  
  joaoferrete
  and
  claude
  committed
  36529f9