GitHub bot: fix linting issues (nobuild)

This commit is contained in:
github-actions
2025-06-23 19:11:07 +00:00
parent 49a88c5bbf
commit af5115abe6

View File

@@ -402,7 +402,7 @@ main() {
upgrade_extension_if_needed "vectors"
upgrade_extension_if_needed "vchord"
reindex_vectorchord_if_needed
reindex_vectorchord_if_needed
show_db_extensions
if [ "$RESTART_NEEDED" = true ]; then