infrastructure

History

DGNum Chores b732c5e9fb Check meta / check_dns (pull_request) Successful in 54s Details Check meta / check_meta (pull_request) Successful in 1m10s Details build configuration / build_web02 (pull_request) Successful in 2m31s Details build configuration / build_vault01 (pull_request) Successful in 3m32s Details build configuration / build_rescue01 (pull_request) Successful in 8m46s Details build configuration / build_storage01 (pull_request) Successful in 12m58s Details build configuration / build_web01 (pull_request) Successful in 25m58s Details build configuration / build_compute01 (pull_request) Successful in 29m25s Details build configuration / build_web02 (push) Successful in 1m13s Details build configuration / build_vault01 (push) Successful in 1m17s Details build configuration / build_rescue01 (push) Successful in 1m18s Details build configuration / build_storage01 (push) Successful in 1m20s Details build configuration / build_compute01 (push) Successful in 1m25s Details lint / check (push) Successful in 23s Details build configuration / build_web01 (push) Successful in 1m42s Details build configuration / push_to_cache (push) Successful in 2m13s Details build configuration / push_to_cache (pull_request) Successful in 2m16s Details chore(npins): Update		2024-05-07 13:27:24 +00: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-05-07 13:27:24 +00:00