From ff08a26689701bd8cc3b09735fe2f0edeec724bc Mon Sep 17 00:00:00 2001 From: Relintai Date: Fri, 29 Jul 2022 09:09:49 +0200 Subject: [PATCH] Ported: Stop CI when Godot crash - qarmin https://github.com/godotengine/godot/commit/096cea614265c2d93a940f9aa2982ad32c434184 --- misc/scripts/check_ci_log.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/misc/scripts/check_ci_log.py b/misc/scripts/check_ci_log.py index d9cf1f155..ec6db4dd1 100755 --- a/misc/scripts/check_ci_log.py +++ b/misc/scripts/check_ci_log.py @@ -25,6 +25,8 @@ if ( file_contents.find("Program crashed with signal") != -1 or file_contents.find("Dumping the backtrace") != -1 or file_contents.find("Segmentation fault (core dumped)") != -1 + or file_contents.find("Aborted (core dumped)") != -1 + or file_contents.find("terminate called without an active exception") != -1 ): print("FATAL ERROR: Pandemonium has been crashed.") sys.exit(1)