The dgnum infrastructure
Tom Hubrecht
a9cc40d2e1
All checks were successful
Check meta / check_meta (push) Successful in 23s
lint / check (push) Successful in 24s
Check meta / check_dns (push) Successful in 43s
build configuration / build_storage01 (pull_request) Successful in 1m1s
build configuration / build_compute01 (pull_request) Successful in 1m10s
build configuration / build_vault01 (pull_request) Successful in 56s
build configuration / build_web02 (pull_request) Successful in 55s
build configuration / build_rescue01 (pull_request) Successful in 59s
build configuration / build_web01 (pull_request) Successful in 1m25s
|
||
---|---|---|
.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 /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.