infrastructure

History

DGNum Chores 6ee3431cc1 All checks were successful build configuration / build_vault01 (pull_request) Successful in 55s Details build configuration / build_storage01 (pull_request) Successful in 1m3s Details build configuration / build_compute01 (pull_request) Successful in 1m9s Details build configuration / build_web02 (pull_request) Successful in 51s Details build configuration / build_rescue01 (pull_request) Successful in 57s Details build configuration / build_web01 (pull_request) Successful in 1m14s Details build configuration / build_rescue01 (push) Successful in 1m3s Details build configuration / build_vault01 (push) Successful in 1m5s Details build configuration / build_web02 (push) Successful in 1m6s Details build configuration / build_storage01 (push) Successful in 1m8s Details build configuration / build_compute01 (push) Successful in 1m11s Details lint / check (push) Successful in 21s Details build configuration / build_web01 (push) Successful in 1m28s Details chore(npins): Update		2024-02-21 17:23:24 +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-21 17:23:24 +01:00