diff options
| author | Wolfgang Walther <walther@technowledgy.de> | 2025-11-25 16:47:31 +0100 |
|---|---|---|
| committer | Wolfgang Walther <walther@technowledgy.de> | 2025-11-25 16:47:31 +0100 |
| commit | 2dd1eca32b17556fcccec3a396c00e858d5235a0 (patch) | |
| tree | ba419749e8f6648175fe04fd86f6de2c2b2c71ba /pkgs/development/python-modules/python-sql | |
| parent | fc34e9066044da6e6207923fc02bd6d025c9ca7a (diff) | |
workflows/merge-group: make check & build required
These jobs were recently introduced into the merge queue - but I forgot
to make them actually required. They sometimes fail - but the PR is
still merged. Dumb.
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions