Repository navigation

Python: update dependencies and the pip pin - #1399

Merged

gusthoff merged 6 commits into

AdaCore:mainfrom

gusthoff:dev/topic/infrastructure/python/update-deps/2026-10-30

Oct 30, 2026

Merged

Python: update dependencies and the pip pin#1399
gusthoff merged 6 commits into
AdaCore:mainfrom
gusthoff:dev/topic/infrastructure/python/update-deps/2026-10-30

Commits on Oct 30, 2026
- Python: update HTTP and WebSocket dependencies
  
  gusthoff
  and
  codex
  committed
  cb2df16
- Python: update Pillow to 13.0.0
  
  gusthoff
  and
  codex
  committed
  bad7590
- Sphinx: update documentation dependencies
  
  gusthoff
  and
  codex
  committed
  a3f5b76
- Python: update IPython and its dependencies
  
  gusthoff
  and
  codex
  committed
  bfa5b5c
- Python: update coverage and type-checking tools
  
  gusthoff
  and
  codex
  committed
  41d60a9
- Python: update pip in CI and Vagrant
  
  gusthoff
  and
  codex
  committed
  26a6916