Skip to content
Back to pull request #12607

return empty list if extensions_dir not exist #6116

Sign in to view logs

return empty list if extensions_dir not exist

return empty list if extensions_dir not exist #6116

Triggered via push August 16, 2023 15:24
@w-e-ww-e-w
pushed e1a2926
return-empty-list-if-extensions_dir-not-exist-
Status Success
Total duration 26s
Artifacts –

on_pull_request.yaml

on: push
ruff
15s
ruff
eslint
9s
eslint
Fit to window
Zoom out
Zoom in