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

retdec: migrate to python@3.13 #194275

Merged
merged 2 commits into from
Oct 14, 2024
Merged

retdec: migrate to python@3.13 #194275

merged 2 commits into from
Oct 14, 2024

Conversation

chenrui333
Copy link
Member

retdec: use python from path

@github-actions github-actions bot added the python Python use is a significant feature of the PR or issue label Oct 13, 2024
@Homebrew Homebrew deleted a comment from github-actions bot Oct 13, 2024
Signed-off-by: Rui Chen <rui@chenrui.dev>
@chenrui333 chenrui333 changed the title retdec: use python from path retdec: migrate to python@3.13 Oct 13, 2024
@chenrui333 chenrui333 added the ready to merge PR can be merged once CI is green label Oct 14, 2024
Copy link
Contributor

🤖 An automated task has requested bottles to be published to this PR.

@github-actions github-actions bot added the CI-published-bottle-commits The commits for the built bottles have been pushed to the PR branch. label Oct 14, 2024
@BrewTestBot BrewTestBot added this pull request to the merge queue Oct 14, 2024
Merged via the queue into master with commit f3ac180 Oct 14, 2024
15 checks passed
@BrewTestBot BrewTestBot deleted the retdec-py3.13 branch October 14, 2024 01:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CI-published-bottle-commits The commits for the built bottles have been pushed to the PR branch. python Python use is a significant feature of the PR or issue python-3.13-migration ready to merge PR can be merged once CI is green
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants