Skip to content

gh-123018: Keep the libedit history file header when truncating #305859

gh-123018: Keep the libedit history file header when truncating

gh-123018: Keep the libedit history file header when truncating #305859

Triggered via pull request October 12, 2026 16:26
Status Success
Total duration 13s
Artifacts –

require-pr-label.yml

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

Annotations

1 warning
Unresolved review
Label error. Requires exactly 1 of: type-feature. Found: