Merge branch 'dev' into report-error

This commit is contained in:
AUTOMATIC1111
2023-05-31 19:15:21 +03:00
committed by GitHub
17 changed files with 656 additions and 22 deletions

View File

@@ -487,8 +487,14 @@ def refresh_available_extensions_from_data(hide_tags, sort_column, filter_text="
def preload_extensions_git_metadata():
t0 = time.time()
for extension in extensions.extensions:
extension.read_info_from_repo()
print(
f"preload_extensions_git_metadata for "
f"{len(extensions.extensions)} extensions took "
f"{time.time() - t0:.2f}s"
)
def create_ui():