diff options
| author | Wolfgang Walther <walther@technowledgy.de> | 2025-06-08 12:12:06 +0200 |
|---|---|---|
| committer | Wolfgang Walther <walther@technowledgy.de> | 2025-06-17 22:38:09 +0200 |
| commit | 959eed1f2ac3a848dfeefe7dbbde869ddef53b53 (patch) | |
| tree | 9abb10cc105b2c88d5988dadffef8b4e9d690505 /pkgs/development/python-modules/rangehttpserver | |
| parent | 485f3b2aaae83ce433949cef1f50fea4f58172af (diff) | |
workflows/{pr,push}: init
Those two workflows bundle all the main jobs in two event-specific
wrapper workflows. This enables us to do two things later on:
- Synchronize the merge commits between most of the jobs run in a PR.
- Create a single "required" job to be targeted by GitHub's "required
status checks to pass" feature.
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions