Skip to content
PR Title Lint

fix(core): tag inline editor filter should ignore case #23877

Sign in to view logs

fix(core): tag inline editor filter should ignore case

fix(core): tag inline editor filter should ignore case #23877

Triggered via pull request December 2, 2024 12:39
@pengx17pengx17
synchronize #8936
11-27-fix_core_tag_inline_editor_filter_should_ignore_case
Status Success
Total duration 24s
Artifacts –

pr-title-lint.yml

on: pull_request
Check pull request title
14s
Check pull request title
Fit to window
Zoom out
Zoom in