Skip to content

chore: refresh the dev toolchain - #97

Merged
ajbarea merged 1 commit into
mainfrom
chore/toolchain-refresh
Sep 20, 2026
Merged

ajbarea merged 1 commit into
mainfrom
chore/toolchain-refresh

Conversation

@ajbarea

@ajbarea ajbarea commented Sep 20, 2026

Copy link
Copy Markdown
Owner

The specifiers here read ruff>=0.15.16 and ty>=0.0.44, which looked merely permissive, but the lock had settled a long way back and that is what CI actually ran:

locked was locked now fleet
ruff 0.15.17 0.16.8 0.16.6-0.16.7
ty 0.0.49 0.0.82 0.0.76-0.0.80
pytest 9.0.3 9.1.1 9.1.1

Floors move with the lock so the gap cannot silently reopen.

One documentation file reformats: ruff 0.16 began formatting Python inside markdown fences, which takes this repo from 10 linted files to 22. The change is confined to blank lines between defs in an archived plan's code samples. pharos and sphragis have been linting under that behaviour for a while, so this brings phalanx-fl onto the same footing rather than introducing anything new.

Verification

At the new versions, with the extras CI uses:

  • ruff check . — all checks passed.
  • ty check — all checks passed (no suppressions added).
  • ruff format . — 1 file reformatted, 21 unchanged.
  • uv lock --check — consistent.
  • uv run --extra hf --extra torch python -m pytest --cov=phalanx — 18 passed.

The lock had drifted a long way behind the fleet: ruff 0.15.17 against
0.16.8, ty 0.0.49 against 0.0.82. Floors move with it.

ruff 0.16 formats Python inside markdown fences, which is why an archived
plan doc reformats here; the rest of the fleet already lints under that
behaviour. ruff check and ty check are both clean at the new versions.
@ajbarea ajbarea added the dependencies Dependency updates label Sep 20, 2026
@ajbarea ajbarea self-assigned this Sep 20, 2026
@ajbarea
ajbarea enabled auto-merge (squash) September 20, 2026 02:16
@ajbarea
ajbarea merged commit 1c4e4ee into main Sep 20, 2026
10 checks passed
@ajbarea
ajbarea deleted the chore/toolchain-refresh branch September 20, 2026 02:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Dependency updates

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant