TypeCheck

Migrate from using readline to prompt-toolkit #531

Sign in to view logs

Triggered via pull request January 26, 2026 15:25

tleonhardt

synchronize #1553

prompt-toolkit

Status Failure

Total duration 1m 35s

Artifacts –

typecheck.yml

on: pull_request

Matrix: type-check

Annotations

1 error

type-check (3.12)

Process completed with exit code 1.