The Wayback Machine - https://web.archive.org/web/20230106045705/https://github.com/python/cpython/pull/100778
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.

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
+1 −4

Conversation

zware
Copy link
Member

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

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

bedevere-bot commented Jan 5, 2023

🤖 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 Jan 5, 2023
@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
Open
@merwok merwok mentioned this pull request Jan 5, 2023
Closed
gvanrossum
gvanrossum approved these changes Jan 5, 2023
View changes
Copy link
Member

@gvanrossum gvanrossum left a comment

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

@zware zware merged commit af5149f into python:main Jan 5, 2023
40 of 77 checks passed
@zware zware deleted the regen_opcode_metadata.h branch Jan 5, 2023
@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

Assignees
No one assigned
Labels
3.12 skip news
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
4 participants
@zware @bedevere-bot @gvanrossum @merwok