Build all core infra in CI #365

Job	Run time
nix-build	1m 9s
nixos-aarch64 (umbriel.nixos.org)	1m 28s
nixos-x86_64 (caliban.nixos.org)	1m 23s
nixos-aarch64 (goofy-hopcroft)	1m 14s
nix-darwin (m1)	1m 36s
nixos-x86_64 (elated-minsky)	1m 2s
nix-darwin (m2-large)	1m 26s
nixos-x86_64 (sleepy-brown)	59s
nixos-x86_64 (haumea)	20m 18s
nixos-x86_64 (pluto)	19m 59s
nixos-x86_64 (mimas)	20m 15s
	1h 10m 49s

Provide feedback