Browse Source

Stop CI when Godot crash

Rafał Mikrut 3 years ago
parent
commit
80237a54e0
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
     file_contents.find("Program crashed with signal") != -1
     or file_contents.find("Dumping the backtrace") != -1
     or file_contents.find("Dumping the backtrace") != -1
     or file_contents.find("Segmentation fault (core dumped)") != -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.")
     print("FATAL ERROR: Godot has been crashed.")
     sys.exit(52)
     sys.exit(52)