Skip to content
TypeCheck

Write redirected and piped output as UTF-8, and stop the suite inheriting colour settings #1290

Sign in to view logs

Write redirected and piped output as UTF-8, and stop the suite inheriting colour settings

Write redirected and piped output as UTF-8, and stop the suite inheriting colour settings #1290

Triggered via pull request September 7, 2026 17:13
@tleonhardttleonhardt
synchronize #1753
utf8-redirection-main
Status Success
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