The dgnum infrastructure
Tom Hubrecht
aad6490bd5
Some checks failed
build configuration / build_web02 (push) Waiting to run
build configuration / build_rescue01 (push) Waiting to run
build configuration / push_to_cache (push) Blocked by required conditions
lint / check (push) Waiting to run
build configuration / build_storage01 (push) Has been cancelled
build configuration / build_compute01 (push) Has been cancelled
build configuration / build_web01 (push) Has been cancelled
build configuration / build_vault01 (push) Has been cancelled
Check meta / check_meta (push) Successful in 28s
Check meta / check_dns (push) Successful in 1m0s
|
||
|---|---|---|
| .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.