TypeCheck

Migrate from mypy to ty as a type checker #1181

Sign in to view logs

Triggered via pull request August 19, 2026 21:30

tleonhardt

opened #1731

ty

Status Success

Total duration 22s

Artifacts –

typecheck.yml

on: pull_request

Matrix: type-check