infra/hosts
2024-03-21 22:20:56 +00:00
..
build01 build01,build02,build03: remove hostId 2023-12-19 05:11:48 +00:00
build02 build02/nixpkgs-update/gitconfig: use ssh for push 2024-03-21 22:20:56 +00:00
build03 build03: move current builders under host 2024-03-09 22:41:11 +00:00
build04 modules/shared/remote-builder: add option to use different keys for the builders 2024-03-09 22:41:11 +00:00
darwin01 darwin01: add darwin03 as builder 2024-03-09 22:41:11 +00:00
darwin02 modules/shared/remote-builder: add option to use different keys for the builders 2024-03-09 22:41:11 +00:00
darwin03 darwin01: add darwin03 as builder 2024-03-09 22:41:11 +00:00
web02 hosts/web02/secrets.yaml: update nix-community-matrix-bot-token 2023-10-27 06:15:11 +00:00