feat(build): #1126 retry makepythonpypienvironment

- retry up to 3 times on curl errors. Signed-off-by: Robin Quintero <[email protected]>
fluidattacks · Aug 29, 2023 · 1958edd · 1958edd
1 parent da45a27
commit 1958edd
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/args/make-python-pypi-environment/default.nix b/src/args/make-python-pypi-environment/default.nix
@@ -104,6 +104,10 @@ assert builtins.any (_: _) [
             inherit name;
             inherit sha256;
             inherit url;
+            curlOptsList = [
+              "--retry 3"
+              "--retry-all-errors"
+            ];
           };
         })
         (builtins.concatLists [