DGNum/infrastructure

The dgnum infrastructure

Find a file

Tom Hubrecht aa3fd966ae All checks were successful build configuration / build_vault01 (push) Successful in 51s Details build configuration / build_storage01 (push) Successful in 54s Details build configuration / build_compute01 (push) Successful in 1m20s Details build configuration / build_web02 (push) Successful in 43s Details build configuration / build_web01 (push) Successful in 8m54s Details chore(npins): Update www-eleves		2024-01-23 01:13:50 +01:00
.forgejo/workflows	feat(workflows): Uses the bot token	2024-01-17 17:38:42 +01:00
external/netbox	fix(netbox): Put environment in all units that need it	2023-12-17 18:05:59 +01:00
iso	feat(iso/dgn-install.sh): Use a better test	2024-01-10 17:50:28 +01: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(web01): Deploy Crab Fit on meet.dgnum.eu	2024-01-23 01:06:10 +01:00
meta	feat(machines): Init web02	2024-01-11 12:45:01 +01:00
modules	feat(web01): Deploy Crab Fit on meet.dgnum.eu	2024-01-23 01:06:10 +01:00
npins	chore(npins): Update www-eleves	2024-01-23 01:13:50 +01:00
patches	chore(npins): Update and remove applied patch	2024-01-05 15:49:44 +01:00
scripts	fix(check-deployment): fix nvd invocation and diff flag	2024-01-07 10:20:46 +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	feat(patches): Update nix-patches	2024-01-22 12:46:43 +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

README.md

❄️ infrastructure

The dgnum infrastructure