Skip to content
Check labels

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

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) #249865

Triggered via pull request April 10, 2026 04:03
@skirpichevskirpichev
labeled #148322
skirpichev:pager-quit-if-one-screen
Status Success
Total duration 6s
Artifacts –

require-pr-label.yml

on: pull_request
DO-NOT-MERGE
3s
DO-NOT-MERGE
Unresolved review
3s
Unresolved review
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Unresolved review
Label error. Requires exactly 1 of: type-feature. Found: awaiting review, skip news