Robert Hensing d910cab254 .github/ci: Use fixed names ...

This lets us update "runs-on" without creating a mismatch with the
required checks that are configured for the repo in the github ui.

2025-01-07 00:05:23 +01:00

..

ci.yml

.github/ci: Use fixed names

2025-01-07 00:05:23 +01:00

labels.yml

ci: update Ubuntu runner to ubuntu-24.04

2025-01-07 00:05:23 +01:00