DGNum Chores
82195e3651
All checks were successful
Check meta / check_dns (pull_request) Successful in 20s
Check meta / check_meta (pull_request) Successful in 20s
build configuration / build_and_cache_rescue01 (pull_request) Successful in 12m24s
build configuration / build_and_cache_geo01 (pull_request) Successful in 12m17s
build configuration / build_and_cache_compute01 (pull_request) Successful in 12m42s
build configuration / build_and_cache_geo02 (pull_request) Successful in 1m18s
build configuration / build_and_cache_vault01 (pull_request) Successful in 1m41s
build configuration / build_and_cache_web01 (pull_request) Successful in 2m17s
build configuration / build_and_cache_web02 (pull_request) Successful in 1m14s
Check meta / check_meta (push) Successful in 19s
build configuration / build_and_cache_web03 (pull_request) Successful in 1m11s
Check meta / check_dns (push) Successful in 17s
lint / check (pull_request) Successful in 22s
build configuration / build_and_cache_storage01 (pull_request) Successful in 16m7s
lint / check (push) Successful in 22s
build configuration / build_and_cache_bridge01 (pull_request) Successful in 1m21s
|
||
|---|---|---|
| .. | ||
| default.nix | ||
| sources.json | ||