Skip to content

DX: switch to ty as type checker #807

DX: switch to ty as type checker

DX: switch to ty as type checker #807

Triggered via pull request January 5, 2026 21:44
Status Failure
Total duration 5m 16s
Artifacts

ci.yml

on: pull_request
doc  /  ...  /  Check external links
2m 49s
doc / linkcheck / Check external links
doc  /  ...  /  Execute and build documentation
59s
doc / nb / Execute and build documentation
style  /  Determine skipped pre-commit hooks
8s
style / Determine skipped pre-commit hooks
doc  /  Upload to GitHub Pages
0s
doc / Upload to GitHub Pages
style  /  Run local pre-commit hooks
31s
style / Run local pre-commit hooks
style  /  Push changes
style / Push changes
Fit to window
Zoom out
Zoom in

Annotations

1 error
doc / nb / Execute and build documentation
Process completed with exit code 1.