Skip to content

Pin Sphinx to not 8.2.0#3479

Merged
mrmundt merged 1 commit intoPyomo:mainfrom
mrmundt:pin-sphinx
Feb 19, 2025
Merged

Pin Sphinx to not 8.2.0#3479
mrmundt merged 1 commit intoPyomo:mainfrom
mrmundt:pin-sphinx

Conversation

@mrmundt
Copy link
Copy Markdown
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
@mrmundt mrmundt deleted the pin-sphinx branch March 19, 2025 17:39
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