Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Pin Sphinx to not 8.2.0 #3479

Merged
merged 1 commit into from
Feb 19, 2025
Merged

Pin Sphinx to not 8.2.0 #3479

merged 1 commit into from
Feb 19, 2025

Conversation

mrmundt
Copy link
Contributor

@mrmundt mrmundt commented Feb 19, 2025

Fixes N/A

Summary/Motivation:

There is an issue that was revealed with the release of sphinx 8.2.0 in sphinx-toolbox. This is a stop-gap to get our infrastructure working again while we wait for sphinx-toolbox/sphinx-toolbox#178 to be resolved.

Changes proposed in this PR:

  • Pin to !=8.2.0

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 a16aa01 into Pyomo:main Feb 19, 2025
4 of 27 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants