Merge pull request #1153 from rohaquinlop/issue-1126-retry

feat(build): #1126 retry makepythonpypienvironment
fluidattacks · Sep 6, 2023 · 8e0fb27 · 8e0fb27
2 parents e17370e + e07a047
commit 8e0fb27
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/args/make-python-pypi-environment/default.nix b/src/args/make-python-pypi-environment/default.nix
@@ -104,7 +104,7 @@ assert builtins.any (_: _) [
             inherit name;
             inherit sha256;
             inherit url;
-            curlOptsList = ["--retry" "3"];
+            curlOptsList = ["--retry" "3" "--fail"];
           };
         })
         (builtins.concatLists [