Sebastian Rittau 70ecc34c05 [CI] Shorten job names (#13635) ...

When looking at GitHub's action runs, the individual jobs are listed in
the left sidebar, but since the job names are fairly long, they get cut
off, leading to a lot of guessing when finding the correct job. Shorter
job names should fix this.

Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>

2025-03-17 15:06:16 +01:00

..

workflows

[CI] Shorten job names (#13635)

2025-03-17 15:06:16 +01:00

renovate.json

Minor improvements to renovate config (#11790)

2024-04-19 17:54:18 +01:00