The dgnum infrastructure
Find a file
Tom Hubrecht 4617bf03ba
All checks were successful
build configuration / build_storage01 (push) Successful in 46s
build configuration / build_web01 (push) Successful in 51s
build configuration / build_compute01 (push) Successful in 1m20s
chore(www-eleves): Update
2023-12-19 16:35:55 +01:00
.forgejo/workflows feat(workflows): Run eval on push to main 2023-12-18 15:49:51 +01:00
external/netbox fix(netbox): Put environment in all units that need it 2023-12-17 18:05:59 +01:00
iso fix(iso): Use lib instead of non-existant lib/trivial.nix 2023-10-05 16:46:30 +02:00
keys feat(keys): Add a key for thubrecht and rekey secrets 2023-09-16 16:08:08 +02:00
lib fix(nix-lib): Use a version that really exists 2023-12-04 09:17:05 +01:00
machines feat(eleves): Update and fix 2023-12-19 16:22:18 +01:00
meta feat(external services): add netbox config 2023-12-17 12:03:07 +01:00
modules feat(dgn-runners): Install openssh 2023-12-15 23:39:49 +01:00
npins chore(www-eleves): Update 2023-12-19 16:35:55 +01:00
patches chore(npins): Update 2023-12-18 15:53:47 +01:00
scripts feat(external services): add netbox config 2023-12-17 12:03:07 +01:00
.envrc Use direnv 2023-05-22 15:08:43 +02:00
.gitignore feat(.gitignore): Ignore gcroots 2023-10-26 14:19:58 +02:00
hive.nix fix(nix-lib): Use a version that really exists 2023-12-04 09:17:05 +01:00
LICENSE keys: Separate keys and move them 2023-05-22 15:05:12 +02:00
README.md Add some flakes in the codebase to satisfy jmalka 2023-05-12 16:56:34 +02:00
shell.nix feat(shell): Use preferLocalBuild 2023-12-12 18:38:45 +01:00

❄️ infrastructure

The dgnum infrastructure