infrastructure

History

Tom Hubrecht 7bdc70632c All checks were successful build configuration / build_and_cache_geo01 (push) Successful in 1m13s Details build configuration / build_and_cache_geo02 (push) Successful in 1m17s Details build configuration / build_and_cache_rescue01 (push) Successful in 1m26s Details build configuration / build_and_cache_storage01 (push) Successful in 1m29s Details build configuration / build_and_cache_compute01 (push) Successful in 1m37s Details lint / check (push) Successful in 24s Details build configuration / build_and_cache_krz01 (push) Successful in 2m13s Details build configuration / build_and_cache_vault01 (push) Successful in 1m17s Details build configuration / build_and_cache_bridge01 (push) Successful in 1m3s Details build configuration / build_and_cache_web02 (push) Successful in 1m11s Details build configuration / build_and_cache_web01 (push) Successful in 1m41s Details 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