Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Infra: switch 3.13-dev to 3.14-dev #4183

Merged
merged 1 commit into from
Dec 30, 2024
Merged

Infra: switch 3.13-dev to 3.14-dev #4183

merged 1 commit into from
Dec 30, 2024

Conversation

hugovk
Copy link
Member

@hugovk hugovk commented Dec 30, 2024 •
edited by github-actions bot
Loading

@hugovk hugovk added the infra Core infrastructure for building and rendering PEPs label Dec 30, 2024
@JelleZijlstra JelleZijlstra merged commit fc00ce6 into python:main Dec 30, 2024
6 checks passed
@hugovk hugovk deleted the 3.14-dev branch December 30, 2024 21:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@AA-Turner AA-Turner Awaiting requested review from AA-Turner AA-Turner is a code owner

@CAM-Gerlach CAM-Gerlach Awaiting requested review from CAM-Gerlach CAM-Gerlach is a code owner

Assignees
No one assigned
Labels
infra Core infrastructure for building and rendering PEPs
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@hugovk @JelleZijlstra