Skip to content
PR size labeler

Fix bug of search history randomly not saved #1462

Sign in to view logs

Fix bug of search history randomly not saved

Fix bug of search history randomly not saved #1462

Triggered via pull request January 14, 2026 15:21
@dustdfgdustdfg
opened #13061
Status Success
Total duration 8s
Artifacts –

pr-labeler.yml

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