infrastructure

History

DGNum Chores 26e5ebd6cd Some checks failed Check meta / check_meta (pull_request) Successful in 22s Details lint / check (push) Successful in 39s Details Check meta / check_dns (pull_request) Successful in 1m7s Details build configuration / build_compute01 (pull_request) Failing after 1m29s Details build configuration / push_to_cache_compute01 (pull_request) Has been skipped Details build configuration / build_rescue01 (pull_request) Successful in 13m57s Details build configuration / build_web02 (pull_request) Successful in 14m19s Details build configuration / build_web01 (pull_request) Successful in 14m48s Details build configuration / build_vault01 (pull_request) Successful in 15m11s Details build configuration / build_bridge01 (pull_request) Failing after 1m2s Details build configuration / push_to_cache_bridge01 (pull_request) Has been skipped Details build configuration / build_geo01 (pull_request) Successful in 1m39s Details build configuration / build_geo02 (pull_request) Successful in 1m42s Details build configuration / push_to_cache_rescue01 (pull_request) Successful in 1m54s Details build configuration / push_to_cache_web02 (pull_request) Successful in 1m30s Details build configuration / push_to_cache_web01 (pull_request) Successful in 2m34s Details build configuration / push_to_cache_geo01 (pull_request) Successful in 1m27s Details build configuration / push_to_cache_geo02 (pull_request) Successful in 1m25s Details build configuration / build_storage01 (pull_request) Successful in 19m7s Details build configuration / push_to_cache_storage01 (pull_request) Failing after 1m40s Details chore(npins): Update		2024-08-12 13:30: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-08-12 13:30:24 +00:00