This website requires JavaScript.
Explore
Help
Register
Sign in
DGNum
/
infrastructure
Watch
11
Star
6
Fork
You've already forked infrastructure
2
Code
Issues
24
Pull requests
25
Projects
1
Releases
Packages
Wiki
Activity
Actions
363f8d3c67
Branches
Tags
No results found.
infrastructure
/
scripts
History
Tom Hubrecht
7bdc70632c
chore(scripts): Cleanup of old caching script
2024-10-10 01:04:16 +02:00
..
cache-node.sh
feat(workflows/eval): Try to build and upload in one fell swoop
2024-10-09 21:32:38 +02:00
check-deployment.sh
fix(check-deployment): add some error handling and fix the "one-node" mode
2024-02-23 17:35:25 +01:00
default.nix
chore(scripts): Cleanup of old caching script
2024-10-10 01:04:16 +02: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
list-nodes.sh
feat(shell): Add list-nodes script
2024-02-19 23:14:27 +01:00