The dgnum infrastructure
Tom Hubrecht
5279356835
All checks were successful
build configuration / build_web02 (push) Successful in 1m32s
build configuration / build_rescue01 (push) Successful in 1m34s
build configuration / build_vault01 (push) Successful in 1m37s
build configuration / build_storage01 (push) Successful in 1m42s
lint / check (push) Successful in 23s
build configuration / build_web01 (push) Successful in 2m4s
build configuration / build_compute01 (push) Successful in 2m19s
build configuration / push_to_cache (push) Successful in 6m35s
|
||
---|---|---|
.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.