Defragment readline history for multiline commands. #840

Sign in to view logs

Triggered via pull request September 18, 2024 22:36

kmvanbrunt

synchronize #1324

defragment_multiline_history

Status Success

Total duration 1m 8s

Artifacts –

mypy.yml

on: pull_request

Matrix: mypy