Skip to content

ci(lint): do not lint per-session worktrees as source - #12

Merged
github-actions[bot] merged 1 commit into
mainfrom
ci/ignore-worktrees
Aug 16, 2026
Merged

ci(lint): do not lint per-session worktrees as source#12
github-actions[bot] merged 1 commit into
mainfrom
ci/ignore-worktrees

Commits

Commits on Aug 16, 2026