Skip to content
TypeCheck

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

Sign in to view logs

[DRAFT] Migrate from using readline to prompt-toolkit

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

Triggered via pull request December 30, 2025 20:54
@tleonhardttleonhardt
synchronize #1553
prompt-toolkit
Status Success
Total duration 1m 12s
Artifacts –

typecheck.yml

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