Skip to content

Conversation

@encukou
Copy link
Member

@encukou encukou commented Jun 5, 2025

@encukou encukou requested a review from brettcannon June 5, 2025 08:03
@encukou encukou marked this pull request as ready for review June 6, 2025 08:02
@encukou
Copy link
Member Author

encukou commented Jun 6, 2025

I can help with issues in this workflow if I'm made aware of them, but, I expect people to come to you.

@encukou encukou merged commit aaa8d72 into python:main Jun 6, 2025
3 of 4 checks passed
@encukou encukou deleted the container-local branch June 6, 2025 08:34
@StanFromIreland
Copy link
Member

This closed #1408.

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.

3 participants