Skip permissions step in onboarding on Linux#2092

Merged

yujonglee merged 3 commits intomainfrom

devin/1764751563-skip-permissions-linux

Dec 3, 2025

Commits on Dec 3, 2025

Skip permissions step in onboarding on Linux

devin-ai-integration[bot]
and
yujonglee
committed
Fix formatting in mic.rs (remove trailing blank line)

devin-ai-integration[bot]
and
yujonglee
committed
Guard against invalid step values in onboarding

devin-ai-integration[bot]
and
yujonglee
committed