The dgnum infrastructure
Tom Hubrecht
ace6f1d931
Some checks failed
Check meta / check_meta (pull_request) Successful in 20s
lint / check (push) Successful in 24s
Check meta / check_dns (pull_request) Successful in 40s
build configuration / build_storage01 (pull_request) Successful in 1m0s
build configuration / build_vault01 (pull_request) Successful in 57s
build configuration / build_web01 (pull_request) Successful in 1m22s
build configuration / build_rescue01 (pull_request) Successful in 54s
build configuration / build_web02 (pull_request) Successful in 55s
build configuration / build_compute01 (pull_request) Failing after 2m22s
build configuration / push_to_cache (pull_request) Has been skipped
|
||
---|---|---|
.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.