浏览代码

Stop CI when Godot crash

(cherry picked from commit 80237a54e01dd964cc4242ebc5979087a3b67d68)
Rafał Mikrut 3 年之前
父节点
当前提交
096cea6142
共有 1 个文件被更改,包括 2 次插入0 次删除
  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(1)