diff options
| author | Wolfgang Walther <walther@technowledgy.de> | 2025-08-12 13:06:09 +0200 |
|---|---|---|
| committer | Wolfgang Walther <walther@technowledgy.de> | 2025-08-12 13:06:09 +0200 |
| commit | 06f574addf20264caba26b7db6222080e80ca874 (patch) | |
| tree | 4d3cf4404fa96a66a6fd28c717244d281f6d0aea /pkgs/development/python-modules/python-sql | |
| parent | 02c80fc5421018016669d79765b40a18aaf3bd8d (diff) | |
workflows/pr: block merging PRs when jobs have been cancelled
This currently happens, for still unknown reasons, for the "check cherry
picks" job. The job gets cancelled by GHA mid-way. This should be the
same as an error, because an important check didn't run: Merging should
be blocked and auto-merge should not succeed.
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions