Skip to content
PR size labeler

Fix bug of search history randomly not saved #1509

Sign in to view logs

Fix bug of search history randomly not saved

Fix bug of search history randomly not saved #1509

Triggered via pull request February 1, 2026 11:18
@ghostghost
opened #13173
Status Success
Total duration 10s
Artifacts –

pr-labeler.yml

on: pull_request_target
Automatically labelling pull requests based on the changed lines count
6s
Automatically labelling pull requests based on the changed lines count
Fit to window
Zoom out
Zoom in