GitHub - andir/infra

Name	Name	Last commit message	Last commit date
Latest commit andir update all the things Mar 13, 2023 ae5ef6e · Mar 13, 2023 History 606 Commits
.ci	.ci	ci: deduplicate the sources to avoid build errors	Nov 22, 2021
bootstrap	bootstrap	update	Aug 30, 2022
config	config	update all the things	Mar 13, 2023
nix	nix	update all the things	Mar 13, 2023
tools	tools	Run newer nixpkgs-fmt	Oct 21, 2020
.envrc	.envrc	Migrate from niv to npins	Aug 4, 2021
.gitignore	.gitignore	Ignore the local .direnv directory	Apr 18, 2020
shell.nix	shell.nix	Update a ton of stuff :/	Jan 11, 2022