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-10-09 20:41:25 +00:00
2025-10-24 14:36:38 +00:00
2025-10-24 14:36:38 +00:00
2023-08-01 23:16:37 +02:00