This website requires JavaScript.
Explore
Help
Register
Sign in
DGNum
/
infrastructure
Watch
12
Star
6
Fork
You've already forked infrastructure
3
Code
Issues
16
Pull requests
9
Projects
1
Releases
Packages
Wiki
Activity
Actions
9059ebe4d8
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