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

7.2 KiB

Raw Blame History

View Raw