Skip to content

Python: update packages - #1376

Merged
gusthoff merged 1 commit into
AdaCore:mainfrom
gusthoff:dev/topic/infrastructure/python/update-deps/2026-07-24
Jul 24, 2026
Merged

Python: update packages#1376
gusthoff merged 1 commit into
AdaCore:mainfrom
gusthoff:dev/topic/infrastructure/python/update-deps/2026-07-24

Conversation

@gusthoff

Copy link
Copy Markdown
Collaborator

No description provided.

@gusthoff
gusthoff merged commit 1c33e40 into AdaCore:main Jul 24, 2026
9 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant