Robert Hensing 5e21bdc623 .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.		2024-12-31 17:35:07 +01:00
..
ci.yml	.github/ci: Use fixed names	2024-12-31 17:35:07 +01:00
labels.yml	ci: update Ubuntu runner to ubuntu-24.04	2024-12-29 00:04:44 +01:00