Skip to content
TypeCheck

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

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

Triggered via pull request September 28, 2026 22:14
@tleonhardttleonhardt
synchronize #1765
pipeline-job-control
Status Success
Total duration 42s
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

5 notices
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.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.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"