Skip to content
TypeCheck

Make the test suite environment-independent, fix UTF-8 redirection, and a UI-call race #1286

Sign in to view logs

Make the test suite environment-independent, fix UTF-8 redirection, and a UI-call race

Make the test suite environment-independent, fix UTF-8 redirection, and a UI-call race #1286

Triggered via pull request September 7, 2026 16:37
@tleonhardttleonhardt
synchronize #1752
suite-env-robustness
Status Success
Total duration 29s
Artifacts –

typecheck.yml

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