Merge pull request #1136 from rohaquinlop/main

feat(build): #1126 retry makepythonpypienvironment
fluidattacks · Aug 29, 2023 · 3912c33 · 3912c33
2 parents da45a27 + 300b5a2
commit 3912c33
Showing 1 changed file with 1 addition 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,7 @@ assert builtins.any (_: _) [
             inherit name;
             inherit sha256;
             inherit url;
+            curlOptsList = ["--retry" "3"];
           };
         })
         (builtins.concatLists [