But for all the support tickets? I genuinely couldn't find a way to select just those. So, here's an email filter that catches all emails from Zendesk that are auto-generated.
⚠️ You'll probably want to combine this with some other filter, because this on its own catches legitimate Zendesk mail. ⚠️
Notably, "An agent has responded to your ticket" counts as auto-generated, even though that mail literally represents a human action. They have headers that look identical to the initial ticket creation email.
Personally, I'm not receiving this spam to any addresses that were genuinely used for Zendesk support. So, I can trivially filter by the recipient (my) address, and not allow any addresses except the ones I'm excepting Zendesk mail on. And on the ones I do expect Zendesk mail, I'm not making them as "spam" such that they won't auto-delete; but I'm still moving them out of my inbox so I don't get notifications.