Browse Source

Merge pull request #62082 from qarmin/handle_crash_ci

Stop CI when Godot crash
Rémi Verschelde 3 years ago
parent
commit
2f9b7b7a60
1 changed files with 2 additions and 0 deletions
  1. 2 0
      misc/scripts/check_ci_log.py

+ 2 - 0
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: Godot has been crashed.")
     sys.exit(52)