From 1075519f71394ad554bf1260f3972ec1da71858c Mon Sep 17 00:00:00 2001 From: Kai Liao <140431279+kliao-csa@users.noreply.github.com> Date: Fri, 25 Aug 2023 16:06:37 -0600 Subject: [PATCH] Update summarize_fail.py --- scripts/tools/summarize_fail.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/scripts/tools/summarize_fail.py b/scripts/tools/summarize_fail.py index af4d731d8e24ce..8a5efa5bf61542 100644 --- a/scripts/tools/summarize_fail.py +++ b/scripts/tools/summarize_fail.py @@ -6,13 +6,13 @@ error_catalog = { "CodeQL": { - "(eventual cause: IOException \"No space left on device\")": { + "No space left on device": { "short": "Ran out of space", - "detail": "IOException due to running out of space" + "detail": "Exception with signature \"No space left on device\"" }, "Check that the disk containing the database directory has ample free space.": { "short": "Ran out of space", - "detail": "Fatal internal error likely due to running out of space" + "detail": "Fatal internal error with message indicating that disk space most likely ran out" } } }