Skip to content

chore: Migrate to ty type checker #25

chore: Migrate to ty type checker

chore: Migrate to ty type checker #25

Triggered via pull request December 17, 2025 16:35
@vdusekvdusek
synchronize #1625
migrate-to-ty
Status Success
Total duration 10m 46s
Artifacts

on_pull_request.yaml

on: pull_request
PR title check
4s
PR title check
Doc checks  /  ...  /  Docs check
1m 40s
Doc checks / Doc checks / Docs check
Code checks  /  Actions lint check
31s
Code checks / Actions lint check
Matrix: Code checks / Lint check / Lint check
Matrix: Code checks / Type check / Type check
Matrix: Tests / Unit tests / Unit tests
Fit to window
Zoom out
Zoom in