Skip to content

Defragment readline history for multiline commands. #837

Defragment readline history for multiline commands.

Defragment readline history for multiline commands. #837

Triggered via pull request September 18, 2024 19:54
Status Success
Total duration 1m 6s
Artifacts

mypy.yml

on: pull_request
Matrix: mypy
Fit to window
Zoom out
Zoom in