infrastructure

History

DGNum Chores 8ccd77aec5 All checks were successful build configuration / build_storage01 (pull_request) Successful in 1m37s Details build configuration / build_compute01 (pull_request) Successful in 1m59s Details build configuration / build_vault01 (pull_request) Successful in 1m6s Details build configuration / build_web01 (pull_request) Successful in 1m2s Details build configuration / build_web02 (pull_request) Successful in 51s Details build configuration / build_vault01 (push) Successful in 52s Details build configuration / build_storage01 (push) Successful in 54s Details build configuration / build_compute01 (push) Successful in 1m18s Details build configuration / build_web02 (push) Successful in 43s Details build configuration / build_web01 (push) Successful in 1m2s Details chore(npins): Update		2024-01-18 14:26:41 +00:00
..
default.nix	init reproducibilty	2023-05-11 19:35:02 +02:00
sources.json	chore(npins): Update	2024-01-18 14:26:41 +00:00