-
-
Notifications
You must be signed in to change notification settings - Fork 2.1k
Pull requests: sphinx-doc/sphinx
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Bump pyright to 1.1.388
dependencies
Pull requests that update a dependency file
python
Pull requests that update Python code
#13111
by dependabot
bot
was merged Nov 7, 2024
Loading…
HTML search: sanitise 'searchindex.js' contents
html search
javascript
Pull requests that update Javascript code
type:performance
#13099
by jayaddison
was closed Nov 6, 2024
Loading…
Apply assorted ruff rules
internals:refactoring
python
Pull requests that update Python code
#13093
by DimitriPapadopoulos
was closed Nov 8, 2024
Loading…
Bump pyright to 1.1.387
dependencies
Pull requests that update a dependency file
python
Pull requests that update Python code
#13092
by dependabot
bot
was merged Oct 31, 2024
Loading…
Add James Addison to AUTHORS.rst
priority:low
type:docs
#13080
by jayaddison
was merged Nov 2, 2024
Loading…
config: Accept string values 0 and 1 for 'translation_progress_classes' option
DO NOT MERGE
internals:config
#13074
by jayaddison
was closed Nov 4, 2024
Loading…
Bump ruff from 0.7.0 to 0.7.1
dependencies
Pull requests that update a dependency file
python
Pull requests that update Python code
#13070
by dependabot
bot
was closed Nov 3, 2024
Loading…
linkcheck: Remove unused 'local' status code
builder:linkcheck
internals:refactoring
#13068
by jayaddison
was merged Oct 25, 2024
Loading…
Bump pyright to 1.1.386
dependencies
Pull requests that update a dependency file
python
Pull requests that update Python code
Bump mypy to 1.13.0
dependencies
Pull requests that update a dependency file
python
Pull requests that update Python code
html search: use a Pull requests that update Javascript code
Map
to collect file-term scores
html search
javascript
#13060
by jayaddison
was merged Oct 24, 2024
Loading…
Bump mypy from 1.12.0 to 1.12.1
dependencies
Pull requests that update a dependency file
python
Pull requests that update Python code
Bump the npm group
dependencies
Pull requests that update a dependency file
javascript
Pull requests that update Javascript code
Previous Next
ProTip!
Filter pull requests by the default branch with base:master.