Skip to content

Gate IDE extension checks behind dev profile#1395

Merged
codeforester merged 1 commit into
mainfrom
fix/1394-20260703-profile-gate-ide-checks
Jul 4, 2026
Merged

Gate IDE extension checks behind dev profile#1395
codeforester merged 1 commit into
mainfrom
fix/1394-20260703-profile-gate-ide-checks

Commits

Commits on Jul 4, 2026