Skip to content
TypeCheck

[DRAFT] Migrate from using readline to prompt-toolkit #410

Sign in to view logs

[DRAFT] Migrate from using readline to prompt-toolkit

[DRAFT] Migrate from using readline to prompt-toolkit #410

Triggered via pull request December 30, 2025 00:58
@tleonhardttleonhardt
synchronize #1553
prompt-toolkit
Status Success
Total duration 25s
Artifacts –

typecheck.yml

on: pull_request
Matrix: type-check
Fit to window
Zoom out
Zoom in