Files
Zeke Foppa a5602a3845 Fix noisy Discord notifications on PR merge (#3650)
# Description of Changes

Filter out the discord notification job itself, as well as any neutral
results.

# API and ABI breaking changes

CI only.

# Expected complexity level and risk

1

# Testing

Unsure how to test this without merging the PR

Co-authored-by: Zeke Foppa <bfops@users.noreply.github.com>
2025-11-12 21:18:08 +00:00
..
2025-09-03 19:55:41 +00:00