diff options
| author | Wolfgang Walther <walther@technowledgy.de> | 2025-05-19 20:14:13 +0200 |
|---|---|---|
| committer | Wolfgang Walther <walther@technowledgy.de> | 2025-05-25 19:26:22 +0200 |
| commit | b942fb47dc604f25e4bb710a1072f30e675c973a (patch) | |
| tree | 720c18b78cda910591395c74b70b174092d4d6fe /pkgs/development/python-modules/rangehttpserver | |
| parent | 8a39ce4a48fab9b79be46e9ad28f410749f079d9 (diff) | |
workflows/eval: drop process job
Since process doesn't need to run on push events anymore, we can just as
well remove it entirely. The little bit of combine and comparison can be
done in the tag job, even with elevated privileges. That's because those
parts can be done entirely from the target commit, which is trusted.
This saves startup, installing nix, downloading tools and artifacts for
one job. It saves about 1 minute per run, start to finish.
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions
