diff options
| author | Wolfgang Walther <walther@technowledgy.de> | 2025-08-22 14:44:48 +0200 |
|---|---|---|
| committer | Wolfgang Walther <walther@technowledgy.de> | 2025-08-24 12:07:43 +0200 |
| commit | 06a0eba240350dd7def5133c9b67a97baa6a4e46 (patch) | |
| tree | 6ce858e0a2fe8ea169331532c088d7e0a5f41c54 /pkgs/development/python-modules/python-sql | |
| parent | 443f30f811f20431079e0321fb14d6e7460f5dac (diff) | |
workflows/test: run push job on correct commit
Previously, the test for the push workflow was running on the HEAD
commit of the PR only. It would be better to run it on the merged result
instead, just like any other tests we run in a PR.
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions