From f729c575e4e4941785c0a2e05fafdbdb54366ac9 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel <erik@martin-dorel.org>
Date: Sun, 14 Jul 2024 21:28:49 +0200
Subject: [PATCH] Rebuild if error "received unexpected HTTP status: 502 Bad
 Gateway" is raised

Example-log: https://gitlab.inria.fr/math-comp/docker-mathcomp/-/jobs/4509247
---
 src/actions.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/actions.ml b/src/actions.ml
index 9c329e5c..280adb98 100644
--- 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/"