Rebuild if error "received unexpected HTTP status: 502 Bad Gateway" i…

…s raised Example-log: https://gitlab.inria.fr/math-comp/docker-mathcomp/-/jobs/4509247
coq · Jul 14, 2024 · f729c57 · f729c57
1 parent 53ef64c
commit f729c57
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/actions.ml b/src/actions.ml
@@ -511,6 +511,7 @@ let trace_action ~repo_full_name trace =
        test "transfer closed with outstanding read data remaining"
        || 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 "[Tt]he remote end hung up unexpectedly"*)
        (* Can happen with (actual) issues with overlays. *)
        || test "error: unable to download 'https://cache.nixos.org/"