Extend connectivity check (#308)

Spotted in this gitlab.inria.fr job today: https://gitlab.inria.fr/math-comp/math-comp/-/jobs/4607507
coq · Jul 25, 2024 · 3400bbd · 3400bbd
2 parents d771ab5 + b8a6732
commit 3400bbd
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/actions.ml b/src/actions.ml
@@ -512,6 +512,7 @@ let trace_action ~repo_full_name trace =
        || test "HTTP request sent, awaiting response... 50[0-9]"
        || test "The requested URL returned error: 502"
        || test "received unexpected HTTP status: 50[0-9]"
+       || test "unexpected status from GET request to.*: 50[0-9]"
        (*|| test "[Tt]he remote end hung up unexpectedly"*)
        (* Can happen with (actual) issues with overlays. *)
        || test "error: unable to download 'https://cache.nixos.org/"