This website requires JavaScript.
Explore
Help
Register
Sign in
cst1
/
infrastructure
Watch
1
Star
0
Fork
You've already forked infrastructure
0
forked from
DGNum/infrastructure
Code
Pull requests
Activity
init-dgnum-page
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