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

[v8r0] doc: replace sphinx panels with sphinx design (its successor) #7140

Merged
merged 1 commit into from
Jul 31, 2023

Conversation

andresailer
Copy link
Contributor

@andresailer andresailer commented Jul 28, 2023

This unblocks the sphinx < 5 version constraint from sphinx panels

https://sphinx-design.readthedocs.io/en/furo-theme/get_started.html#migrating-from-sphinx-panels

BEGINRELEASENOTES

*docs:
change: Replace the use of sphinx-panels with sphinx-design, this unblocks the use of latest sphinx versions (panels was requiring sphinx < 5)

ENDRELEASENOTES

  • Still need to replace panels somewhere!?!

@DIRACGridBot DIRACGridBot added the alsoTargeting:integration Cherry pick this PR to integration after merge label Jul 28, 2023
@andresailer andresailer force-pushed the 80_docs branch 2 times, most recently from 8127274 to cf96381 Compare July 31, 2023 07:28
This unblocks the sphinx < 5 version constraint from sphinx panels
@andresailer
Copy link
Contributor Author

https://dirac--7140.org.readthedocs.build/en/7140/

Pictures are a bit bigger, and hover behaviour is different, but I don't want to delve deeper into this to be honest...

sphinx_rtd_theme is requiring sphinx<7, but at least sphinx is now 6.2.1.

@fstagni fstagni merged commit 26f2f23 into DIRACGrid:rel-v8r0 Jul 31, 2023
18 checks passed
@DIRACGridBot DIRACGridBot added the sweep:done All sweeping actions have been done for this PR label Jul 31, 2023
DIRACGridBot pushed a commit to DIRACGridBot/DIRAC that referenced this pull request Jul 31, 2023
@DIRACGridBot
Copy link

Sweep summary

Sweep ran in https://github.com/DIRACGrid/DIRAC/actions/runs/5712496240

Successful:

  • integration

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
alsoTargeting:integration Cherry pick this PR to integration after merge sweep:done All sweeping actions have been done for this PR
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants