Skip to content

chore: update shared ruff pin - #2524

Merged
stranske merged 2 commits into
mainfrom
codex/shared-ruff-0-15-19
Jun 24, 2026
Merged

chore: update shared ruff pin#2524
stranske merged 2 commits into
mainfrom
codex/shared-ruff-0-15-19

docs: clarify dev tool pin ownership

74abcb3
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar