The dgnum infrastructure
Tom Hubrecht
807415ae93
All checks were successful
build configuration / build_rescue01 (push) Successful in 1m18s
build configuration / build_storage01 (push) Successful in 1m20s
build configuration / build_vault01 (push) Successful in 1m21s
build configuration / build_web01 (push) Successful in 1m43s
lint / check (push) Successful in 25s
build configuration / build_web02 (push) Successful in 1m46s
build configuration / build_compute01 (push) Successful in 1m52s
build configuration / push_to_cache (push) Successful in 2m21s
|
||
---|---|---|
.forgejo/workflows | ||
iso | ||
keys | ||
lib | ||
machines | ||
meta | ||
modules | ||
npins | ||
patches | ||
scripts | ||
.envrc | ||
.gitignore | ||
CONTRIBUTE.md | ||
default.nix | ||
hive.nix | ||
LICENSE | ||
README.md | ||
shell.nix |
❄️ infrastructure
The dgnum infrastructure.
Contributing
Some instruction on how to contribute are available (in french) in /CONTRIBUTE.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.