Files
Wolfgang Walther 9b29a46f96 workflows/{merge_group,pr}: fail status check explicitly
When the merge queue fails, the workflow currently does not post a
negative result - and GitHub Actions waits for the status check to time
out, which takes 60 minutes.

This, of course, is a waste of time and resources. By explicitly failing
the status check, we boot the PR out of the merge queue immediately.

(cherry picked from commit 43a8f20d58)
2025-09-11 18:30:25 +00:00
..
2025-06-15 12:27:17 +02:00
2025-06-15 12:27:17 +02:00
2025-06-15 12:27:17 +02:00
2024-11-14 09:10:54 -08:00