Skip to content

chore: Migrate to ty type checker #7

chore: Migrate to ty type checker

chore: Migrate to ty type checker #7

Triggered via pull request December 21, 2025 08:22
@vdusekvdusek
synchronize #716
migrate-to-ty
Status Success
Total duration 14m 57s
Artifacts

on_pull_request.yaml

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