docs: Require sphinx-rtd-theme compatible with Sphinx 7 #4123
docs.yml
on: pull_request
Build docs
1m 7s
Deploy docs to GitHub Pages
0s
Annotations
2 errors
Build docs
Canceling since a higher priority waiting request for 'Docs-refs/pull/2271/merge' exists
|
Build docs
The operation was canceled.
|