Merge remote-tracking branch 'upstream/master'

2024-02-04 22:50:08 +05:30
parent 6637948ff5 7e2ce7a494
commit 645bfaffbd
1358 changed files with 138995 additions and 72908 deletions
--- a/.github/unused-strings.py
+++ b/.github/unused-strings.py
@@ -212,11 +212,10 @@ def main():
            errors.append(f"ERROR: {string} is (possibly) no longer needed.")

    if errors:
-        for error in errors:
-            print(error)
+        print("\n".join(errors))
        sys.exit(1)
-    else:
-        print("OK")
+
+    print("OK")


 if __name__ == "__main__":