chore: remove unnecessary extension #12522

Sign in to view logs

Re-run triggered March 28, 2024 08:15

pengx17

#6361

Dunqing:chore/remove-unnecessary-extension

Status Success

Total duration 21s

Artifacts –

pr-title-lint.yml

on: pull_request

Check pull request title