diff options
| author | Wolfgang Walther <walther@technowledgy.de> | 2025-06-17 09:18:27 +0200 |
|---|---|---|
| committer | Wolfgang Walther <walther@technowledgy.de> | 2025-06-17 09:18:27 +0200 |
| commit | 5343c50acdb8c7540e74243d7878e7110be076af (patch) | |
| tree | c854aeb318d8b3ca321499672e61cb38f8871c00 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 022bbfd6633166d168512fbc3f53e9e6b8c1680b (diff) | |
workflows/labels: skip old PRs without the right artifacts
We don't need to handle the differently named artifacts in a special
way, because they have been expired anyway. But, we must handle the case
to not cause the job to fail.
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions