DGNum Chores
b732c5e9fb
All checks were successful
Check meta / check_dns (pull_request) Successful in 54s
Check meta / check_meta (pull_request) Successful in 1m10s
build configuration / build_web02 (pull_request) Successful in 2m31s
build configuration / build_vault01 (pull_request) Successful in 3m32s
build configuration / build_rescue01 (pull_request) Successful in 8m46s
build configuration / build_web01 (pull_request) Successful in 25m58s
build configuration / build_storage01 (pull_request) Successful in 12m58s
build configuration / build_compute01 (pull_request) Successful in 29m25s
build configuration / build_web02 (push) Successful in 1m13s
build configuration / build_vault01 (push) Successful in 1m17s
build configuration / build_storage01 (push) Successful in 1m20s
build configuration / build_compute01 (push) Successful in 1m25s
build configuration / build_rescue01 (push) Successful in 1m18s
lint / check (push) Successful in 23s
build configuration / build_web01 (push) Successful in 1m42s
build configuration / push_to_cache (push) Successful in 2m13s
build configuration / push_to_cache (pull_request) Successful in 2m16s
|
||
---|---|---|
.. | ||
default.nix | ||
sources.json |