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

gh-98831: Regenerate Python/opcode_metadata.h #100778

Merged
merged 1 commit into from
Jan 5, 2023
Merged

gh-98831: Regenerate Python/opcode_metadata.h #100778

merged 1 commit into from
Jan 5, 2023

Conversation

zware
Copy link
Member

@zware zware commented Jan 5, 2023 •
edited by merwok
Loading

@zware zware added 3.12 bugs and security fixes 🔨 test-with-buildbots Test PR w/ buildbots; report in status section skip issue skip news labels Jan 5, 2023
@bedevere-bot
Copy link

🤖 New build scheduled with the buildbot fleet by @zware for commit d133ede 🤖

If you want to schedule another build, you need to add the :hammer: test-with-buildbots label again.

@zware zware requested a review from gvanrossum January 5, 2023 21:21
@bedevere-bot bedevere-bot added awaiting core review and removed 🔨 test-with-buildbots Test PR w/ buildbots; report in status section labels Jan 5, 2023
@AlexWaygood AlexWaygood mentioned this pull request Jan 5, 2023
Merged
@merwok merwok changed the title Regenerate Python/opcode_metadata.h gh-98831: Regenerate Python/opcode_metadata.h Jan 5, 2023
@merwok merwok removed the skip issue label Jan 5, 2023
@bedevere-bot bedevere-bot mentioned this pull request Jan 5, 2023
Closed
@merwok merwok mentioned this pull request Jan 5, 2023
Closed
gvanrossum
gvanrossum approved these changes Jan 5, 2023
View reviewed changes
Copy link
Member

@gvanrossum gvanrossum left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Okay, if this fixes the problem, let's go with this instead.

@zware zware merged commit af5149f into python:main Jan 5, 2023
@zware zware deleted the regen_opcode_metadata.h branch January 5, 2023 21:47
@gvanrossum gvanrossum mentioned this pull request Jan 5, 2023
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@gvanrossum gvanrossum gvanrossum approved these changes

Assignees
No one assigned
Labels
3.12 bugs and security fixes skip news
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@zware @bedevere-bot @gvanrossum @merwok