Skip to content

Commit a2a0f19

Browse files
committed
fail if found
1 parent 77e437f commit a2a0f19

File tree

1 file changed

+20
-13
lines changed

1 file changed

+20
-13
lines changed

.github/workflows/compiler_sanitization.yml

Lines changed: 20 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -95,19 +95,6 @@ jobs:
9595
- name: Display quaddtype sanitizer warnings
9696
if: always()
9797
run: |
98-
echo "=========================================="
99-
echo "QUADDTYPE SANITIZER WARNINGS SUMMARY"
100-
echo "=========================================="
101-
102-
# Combine all sanitizer logs and filter for quaddtype-related issues
103-
if ls ${{ github.workspace }}/sanitizer_logs/* 1> /dev/null 2>&1; then
104-
cat ${{ github.workspace }}/sanitizer_logs/* 2>/dev/null | \
105-
grep -A2 -B2 "quaddtype\|_quaddtype\|numpy_quaddtype" | \
106-
sort -u || echo "No quaddtype-specific sanitizer warnings found."
107-
else
108-
echo "No sanitizer log files found."
109-
fi
110-
11198
echo ""
11299
echo "=========================================="
113100
echo "ASAN LOGS"
@@ -127,3 +114,23 @@ jobs:
127114
else
128115
echo "No UBSAN log files found."
129116
fi
117+
118+
- name: Check for quaddtype sanitizer issues
119+
if: always()
120+
run: |
121+
# Fail if any quaddtype-related sanitizer issues are found
122+
QUADDTYPE_ISSUES=""
123+
if ls ${{ github.workspace }}/sanitizer_logs/* 1> /dev/null 2>&1; then
124+
QUADDTYPE_ISSUES=$(cat ${{ github.workspace }}/sanitizer_logs/* 2>/dev/null | \
125+
grep -E "quaddtype|_quaddtype|numpy_quaddtype" || true)
126+
fi
127+
128+
if [ -n "$QUADDTYPE_ISSUES" ]; then
129+
echo "=========================================="
130+
echo "ERROR: Sanitizer issues found in quaddtype!"
131+
echo "=========================================="
132+
echo "$QUADDTYPE_ISSUES"
133+
exit 1
134+
else
135+
echo "No quaddtype-specific sanitizer issues found."
136+
fi

0 commit comments

Comments
 (0)