Skip to content

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

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 #1424

Triggered via pull request October 7, 2026 02:14
Status Failure
Total duration 30s
Artifacts –

typecheck.yml

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

Annotations

5 errors and 5 notices
type-check (3.13)
Process completed with exit code 1.
type-check (3.11)
Process completed with exit code 1.
type-check (3.14)
Process completed with exit code 1.
type-check (3.12)
Process completed with exit code 1.
All Type Checks Passed
Process completed with exit code 1.
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.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"
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.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"
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"