Skip to content
TypeCheck

Fix Windows page/pipe encoding bug and bug in how signals are handled when running a piped shell application #1391

Sign in to view logs

Fix Windows page/pipe encoding bug and bug in how signals are handled when running a piped shell application

Fix Windows page/pipe encoding bug and bug in how signals are handled when running a piped shell application #1391

Triggered via pull request September 26, 2026 15:24
@tleonhardttleonhardt
opened #1765
pipeline-job-control
Status Success
Total duration 31s
Artifacts –

typecheck.yml

on: pull_request
Matrix: type-check
All Type Checks Passed
4s
All Type Checks Passed
Fit to window
Zoom out
Zoom in

Annotations

1 warning and 5 notices
type-check (3.14)
Failed to save: Unable to reserve cache with key setup-uv-2-x86_64-unknown-linux-gnu-ubuntu-24.04-3.14-pruned-f151f256c855da6106ec4aec121937bf4866c844197725220f60a70962952cf8, another job may be creating this cache.
type-check (3.13)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
type-check (3.12)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
type-check (3.14)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
type-check (3.11)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
All Type Checks Passed
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"