repl: make history navigation work with big inputs #81733
puskinlinters.yml
on: pull_request
lint-addon-docs
47s
lint-cpp
1m 36s
format-cpp
1m 36s
lint-js-and-md
5m 29s
lint-nix
23s
lint-py
29s
lint-yaml
27s
lint-sh
9s
lint-codeowners
28s
lint-pr-url
6s
lint-readme
5s