infra: merge main branch #218

Merged
b12f merged 11 commits from infra-merge-main into infra 2023-04-24 10:53:15 +00:00
Showing only changes of commit 52c2ca9f13 - Show all commits

View file

@ -22,6 +22,7 @@
};
# Generally useful nix option defaults
extraOptions = lib.mkForce ''
experimental-features = flakes nix-command
min-free = 536870912
keep-outputs = true
keep-derivations = true