The dgnum infrastructure
Find a file
2024-07-10 17:29:20 +02:00
.forgejo/workflows feat(ds-fr): Update version and workflow 2024-04-17 15:14:34 +02:00
iso fix(iso): Use correct attribute 2024-06-17 15:33:49 +02:00
keys feat(web02): Reimage the node 2024-06-17 17:06:37 +02:00
lib chore: pre-commit hooks are supposed to be run.... 2024-03-10 01:03:30 +01:00
machines feat(web02): Switch to cas.eleves.ens.fr for the cas server 2024-07-10 14:15:24 +02:00
meta fix(routing): clean icmp storm 2024-07-08 20:38:01 +02:00
modules feat(web02): Reimage the node 2024-06-17 17:06:37 +02:00
npins feat(shell): Update colmena to a version that understands sshOptions 2024-07-10 17:29:20 +02:00
patches feat(infra): Switch to lix 2024-07-05 14:39:02 +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(shell): Update colmena to a version that understands sshOptions 2024-07-10 17:29:20 +02:00
hive.nix feat(infra): Switch to lix 2024-07-05 14:39:02 +02:00
LICENSE keys: Separate keys and move them 2023-05-22 15:05:12 +02:00
README.md fix(README): Use correct link 2024-05-18 16:48:05 +02: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 /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.