Skip to content

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

docs: document driving Lighter from another program

36529f9
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
lint
succeeded Aug 10, 2026 in 9s