Lint

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

Sign in to view logs

Triggered via pull request September 8, 2026 05:25

gpshead

synchronize #157165

gpshead:fix-editline-tests

Status Success

Total duration 49s

Artifacts –

lint.yml

on: pull_request