The dgnum infrastructure

Find a file

Tom Hubrecht 3b9b2d4796 All checks were successful lint / check (push) Successful in 22s Details build configuration / build_web02 (push) Successful in 2m51s Details build configuration / build_rescue01 (push) Successful in 4m27s Details build configuration / build_vault01 (push) Successful in 1m3s Details build configuration / build_storage01 (push) Successful in 16m15s Details build configuration / build_web01 (push) Successful in 20m1s Details build configuration / build_compute01 (push) Successful in 21m2s Details chore(static): Update		2024-03-16 17:57:30 +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	chore(static): Update	2024-03-16 17:57:30 +01:00
meta	fix(meta): Document meta/verify.nix	2024-03-13 11:24:27 +01:00
modules	chore: pre-commit hooks are supposed to be run....	2024-03-10 01:03:30 +01:00
npins	feat(simiweb): Move to S3	2024-03-16 16:17:02 +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

README.md

❄️ 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.