Skip to content

Conversation

@Avasam
Copy link

@Avasam Avasam commented Apr 14, 2025

For python#13809

Fix typing issues for parameters links, ports and group_add.

Since you split your PRs per-modules, feel free to only take what you need. I can create a separate PR for the rest.

@donbarbos donbarbos merged commit e91cddd into donbarbos:improve-docker-types Apr 14, 2025
41 checks passed
@Avasam Avasam deleted the Finish-fixing-invariance-issues branch April 14, 2025 22:03
@Avasam Avasam changed the title Finish fixing invariance issues Fix invariance issues for links, ports and group_add params Apr 14, 2025
Repository owner deleted a comment from github-actions bot Apr 14, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants