infrastructure

History

DGNum Chores 08577a7f66 All checks were successful build configuration / build_vault01 (pull_request) Successful in 1m1s Details build configuration / build_web02 (pull_request) Successful in 1m1s Details build configuration / build_storage01 (pull_request) Successful in 1m5s Details build configuration / build_compute01 (pull_request) Successful in 1m8s Details build configuration / build_web01 (pull_request) Successful in 2m39s Details build configuration / build_vault01 (push) Successful in 56s Details build configuration / build_web02 (push) Successful in 57s Details build configuration / build_compute01 (push) Successful in 1m5s Details build configuration / build_storage01 (push) Successful in 1m15s Details lint / check (push) Successful in 20s Details build configuration / build_web01 (push) Successful in 1m18s Details chore(npins): Update		2024-02-06 20:47:02 +01:00
..
default.nix	feat(shell): Add pre-commit hooks and reformat the repo	2024-02-02 10:51:31 +01:00
sources.json	chore(npins): Update	2024-02-06 20:47:02 +01:00