Skip to content

Introduce Retries into download-extensions#3656

Merged
mrmundt merged 5 commits intoPyomo:mainfrom
mrmundt:download-retries
Jul 8, 2025
Merged

Introduce Retries into download-extensions#3656
mrmundt merged 5 commits intoPyomo:mainfrom
mrmundt:download-retries

Conversation

@mrmundt
Copy link
Copy Markdown
Contributor

@mrmundt mrmundt commented Jul 8, 2025

Fixes N/A

Summary/Motivation:

I'm personally losing my mind w.r.t. download-extensions because gjh is somewhat unreliable lately when downloading (but then will sometimes be fine if you try again). This introduces retries (default 3) into download-extensions with a short sleep of 1 second between each one.

Example of the change in action

Changes proposed in this PR:

  • 3 retries if there is a failure in download-extension
  • 1 second sleep between retries

Legal Acknowledgement

By contributing to this software project, I have read the contribution guide and agree to the following terms and conditions for my contribution:

  1. I agree my contributions are submitted under the BSD license.
  2. I represent I am authorized to make the contributions and grant the license. If my employer has rights to intellectual property that includes these contributions, I represent that I have received permission to make contributions and grant the required license on behalf of that employer.

@mrmundt mrmundt merged commit 10d6acc into Pyomo:main Jul 8, 2025
35 checks passed
@github-project-automation github-project-automation bot moved this from Todo to Done in August 2025 Release Jul 8, 2025
@mrmundt mrmundt deleted the download-retries branch July 8, 2025 18:03
@jsiirola
Copy link
Copy Markdown
Member

jsiirola commented Jul 8, 2025

I realize this is merged, but is this the right place to put the retry? I would have thought a better place to put retries is in our test drivers, under the theory that the downloaded should just download and any retries should be left to the driver (much like curl and wget don’t retry automatically).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

No open projects

Development

Successfully merging this pull request may close these issues.

3 participants