Skip to content
CI

DX: switch to ty as type checker #806

Sign in to view logs

DX: switch to ty as type checker

DX: switch to ty as type checker #806

Triggered via pull request January 5, 2026 21:43
@pre-commit-cipre-commit-ci[bot]
opened #309
pre-commit-ci-update-config
Status Cancelled
Total duration 1m 23s
Artifacts –

ci.yml

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

Annotations

10 errors
style / Run local pre-commit hooks
Canceling since a higher priority waiting request for CI-refs/pull/309/merge exists
doc / nb / Execute and build documentation
Canceling since a higher priority waiting request for CI-refs/pull/309/merge exists
doc / nb / Execute and build documentation
The operation was canceled.
doc / linkcheck / Check external links
Canceling since a higher priority waiting request for CI-refs/pull/309/merge exists
doc / linkcheck / Check external links
The operation was canceled.
CI
Canceling since a higher priority waiting request for CI-refs/pull/309/merge exists
CI
Canceling since a higher priority waiting request for CI-refs/pull/309/merge exists
CI
Canceling since a higher priority waiting request for CI-refs/pull/309/merge exists
CI
Canceling since a higher priority waiting request for CI-refs/pull/309/merge exists
CI
Canceling since a higher priority waiting request for CI-refs/pull/309/merge exists