This website requires JavaScript.
Explore
Help
Register
Sign in
DGNum
/
infrastructure
Watch
13
Star
6
Fork
You've already forked infrastructure
3
Code
Issues
20
Pull requests
9
Projects
1
Releases
Packages
Wiki
Activity
Actions
4237fc57bd
infrastructure
/
scripts
History
Tom Hubrecht
5e3819c9b2
feat(shell): Add pre-commit hooks and reformat the repo
2024-02-02 10:51:31 +01:00
..
check-deployment.sh
fix(check-deployment): fix nvd invocation and diff flag
2024-01-07 10:20:46 +01:00
default.nix
feat(shell): Add pre-commit hooks and reformat the repo
2024-02-02 10:51:31 +01:00
launch-vm.sh
feat(scripts): Add a script to easily launch a vm with port forwarding
2023-10-27 14:36:19 +02:00