Files
nix/.github
Robert Hensing 1a710e54dc .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:04:32 +01:00
..
2025-01-07 00:04:32 +01:00
2024-06-28 15:56:53 +02:00
2024-05-15 01:40:25 +02:00
2022-07-10 16:50:49 -07:00