Closed oktal3700 closed 6 months ago
GitHub Actions workflow: Update the Discord notification step to recognize warnings caught by the problem matcher (see #229)
GitHub Actions workflow: Update the Discord notification step to recognize warnings caught by the problem matcher (see #229)