Skip to content
Back to pull request #148322

gh-148321: use --quit-if-one-screen option for the pager (new REPL) #249875

Sign in to view logs

gh-148321: use --quit-if-one-screen option for the pager (new REPL)

gh-148321: use --quit-if-one-screen option for the pager (new REPL) #249875

DO-NOT-MERGE

DO-NOT-MERGE
succeeded Apr 10, 2026 in 5s