1. 08 Apr, 2021 1 commit
  2. 26 Jan, 2021 2 commits
  3. 26 Jun, 2020 1 commit
  4. 16 Jun, 2020 2 commits
    • sajolida's avatar
      Shorten drastically the timeout of wget (#17736) · 3221da5a
      sajolida authored
      By default wget has a timeout of 900 seconds for each of DNS lookup, TCP
      connection, and idle time. Shortening it will make the --fast runs more
      predictable in duration.
      
      I was hesitating to put an even lower timeout to match better what the
      expectation of users might be: I would probably try to restart a
      download that was idle for 60 seconds.
      
      But I'm also afraid of triggering too many fast negative.
      3221da5a
    • sajolida's avatar
      Use consistent output format · 08a59c34
      sajolida authored
      08a59c34
  5. 03 Jun, 2020 5 commits
  6. 25 May, 2020 2 commits
  7. 19 May, 2020 1 commit
  8. 10 May, 2020 4 commits
  9. 09 May, 2020 22 commits