The dgnum infrastructure
Find a file
2024-04-12 11:44:49 +02:00
.forgejo/workflows feat(infra): Add checks for meta 2024-03-29 14:37:21 +01:00
iso chore: pre-commit hooks are supposed to be run.... 2024-03-10 01:03:30 +01:00
keys Add keys/catvayor.keys (#83) 2024-04-04 12:49:28 +02: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-04-12 11:44:49 +02:00
meta feat(meta): Add README 2024-04-04 13:36:51 +02:00
modules feat(dgn-record): Use latest arkheon 2024-04-06 16:21:21 +02:00
npins chore(npins): Update 2024-04-07 21:32:03 +02:00
patches feat(netbox-agent): update 2024-04-07 16:27:03 +02: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 feat(infra): Rework nixpkgs version management 2024-04-03 22:05:37 +02: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.