diff options
| author | Wolfgang Walther <walther@technowledgy.de> | 2025-09-11 18:29:05 +0200 |
|---|---|---|
| committer | Wolfgang Walther <walther@technowledgy.de> | 2025-09-11 19:45:06 +0200 |
| commit | 43a8f20d581f1395f2947810b5bfcb270754b9c1 (patch) | |
| tree | a61068812d6ae8c18ded52049f74937257e8d970 /pkgs/development/python-modules/httpserver | |
| parent | 2b1387a6f55366c83fa88f85203ac8e477b439ba (diff) | |
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.
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions