From e55a86c8868bbe8981d05735232f175a414d1a6a Mon Sep 17 00:00:00 2001 From: chengmo Date: Thu, 11 Jun 2020 13:48:26 +0800 Subject: [PATCH] fix ci --- run.py | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/run.py b/run.py index 23a55d58..ea55af78 100755 --- a/run.py +++ b/run.py @@ -449,4 +449,8 @@ if __name__ == "__main__": engine_registry() which_engine = get_engine(args) engine = which_engine(args) - engine.run() + try: + engine.run() + sys.exit(0) + except: + sys.exit(1) -- GitLab