Skip to content

DX: switch to ty as type checker #812

DX: switch to ty as type checker

DX: switch to ty as type checker #812

Triggered via pull request February 5, 2026 12:44
Status Success
Total duration 3m 52s
Artifacts 1

ci.yml

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

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
1.8 MB
sha256:e619d030548d50f36a26bc252f7d8edcbf5590efed69093d80a1bd9af4b225dc