The dgnum infrastructure
Find a file
2024-03-27 14:36:34 +01:00
.forgejo/workflows feat(infra): add ci for rescue01 2024-02-21 17:20:55 +01:00
iso chore: pre-commit hooks are supposed to be run.... 2024-03-10 01:03:30 +01:00
keys feat(keys): Add rescue01 and web02 2024-03-08 23:10:47 +01:00
lib chore: pre-commit hooks are supposed to be run.... 2024-03-10 01:03:30 +01:00
machines feat(static): Update interq.ens.fr 2024-03-27 14:36:34 +01:00
meta fix(vault01): Fix connection to Catvayor's router 2024-03-27 10:26:53 +01:00
modules feat(dgn-console): Add more tools 2024-03-24 18:11:26 +01:00
npins chore(npins): Update 2024-03-25 13:05:46 +01:00
patches feat(castopod): big update 2024-03-06 22:53:24 +01:00
scripts fix(check-deployment): add some error handling and fix the "one-node" mode 2024-02-23 17:35:25 +01:00
.envrc Use direnv 2023-05-22 15:08:43 +02:00
.gitignore fix(infra): remove untrackable file 2024-02-17 22:56:25 +01:00
CONTRIBUTE.md feat(README): Add guidelines for contributions and doc for dev tools 2024-02-23 21:07:20 +01:00
default.nix chore: pre-commit hooks are supposed to be run.... 2024-03-10 01:03:30 +01:00
hive.nix fix(hive.nix): meta is a function now 2024-02-23 13:14:49 +01:00
LICENSE keys: Separate keys and move them 2023-05-22 15:05:12 +02:00
README.md feat(README): Add guidelines for contributions and doc for dev tools 2024-02-23 21:07:20 +01:00
shell.nix feat(shell): Add pre-commit hooks and reformat the repo 2024-02-02 10:51:31 +01:00

❄️ infrastructure

The dgnum infrastructure.

Contributing

Some instruction on how to contribute are available (in french) in /CONTRIBUTING.md. You're expected to read this document before commiting to the repo.

Some documentation for the development tools are provided in the aforementioned file.