Files
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
..
2024-12-31 17:35:07 +01:00
2024-06-28 15:56:53 +02:00
2022-07-10 16:50:49 -07:00