The dgnum infrastructure
Find a file
2024-04-13 13:44:23 +02:00
.forgejo/workflows feat(ci): Cache CI results 2024-04-12 22:14:20 +02:00
iso chore: pre-commit hooks are supposed to be run.... 2024-03-10 01:03:30 +01:00
keys Add keys/catvayor.keys (#83) 2024-04-04 12:49:28 +02:00
lib chore: pre-commit hooks are supposed to be run.... 2024-03-10 01:03:30 +01:00
machines feat(forgejo): Use package from nixos-unstable 2024-04-13 13:44:23 +02:00
meta feat(meta): Add README 2024-04-04 13:36:51 +02:00
modules feat(dgn-record): Use latest arkheon 2024-04-06 16:21:21 +02:00
npins chore(npins): Update 2024-04-13 13:44:23 +02:00
patches feat(forgejo): Use package from nixos-unstable 2024-04-13 13:44:23 +02:00
scripts fix(cache): Fix weird message when using cache command 2024-04-12 22:59:46 +02:00
.envrc Use direnv 2023-05-22 15:08:43 +02:00
.gitignore fix(infra): remove untrackable file 2024-02-17 22:56:25 +01:00
CONTRIBUTE.md feat(README): Add guidelines for contributions and doc for dev tools 2024-02-23 21:07:20 +01:00
default.nix feat(ci): Cache CI results 2024-04-12 22:14:20 +02:00
hive.nix feat(infra): Rework nixpkgs version management 2024-04-03 22:05:37 +02:00
LICENSE keys: Separate keys and move them 2023-05-22 15:05:12 +02:00
README.md feat(README): Add guidelines for contributions and doc for dev tools 2024-02-23 21:07:20 +01:00
shell.nix feat(shell): Add pre-commit hooks and reformat the repo 2024-02-02 10:51:31 +01:00

❄️ 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.