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

Bump Python versions in pyenv instructions #6241

Merged

Conversation

Jackenmen
Copy link
Member

@Jackenmen Jackenmen commented Aug 26, 2023

Description of the changes

Bumps versions of Python 3.9 and 3.10 in pyenv instructions to 3.9.18 and 3.10.13.

Have the changes in this PR been tested?

Yes

CentOS 7: https://cirrus-ci.com/task/5734053089902592
Raspberry Pi OS 10: tests missing

@Jackenmen Jackenmen added Type: Dependency Update Adding/updating/removing some of Red’s dependencies. Needs Backport To stable-docs Should be backported to Red's stable docs (stable branch). Bot will attempt to backport on merge. labels Aug 26, 2023
@Jackenmen Jackenmen added this to the 3.5.5 milestone Aug 26, 2023
@github-actions github-actions bot added Category: Docs - Install Guides This is related to install guides. Docs-only labels Aug 26, 2023
@Jackenmen Jackenmen merged commit d844c6f into Cog-Creators:V3/develop Aug 27, 2023
19 checks passed
@Jackenmen Jackenmen deleted the bump_python_pyenv_version branch August 27, 2023 21:31
@Jackenmen Jackenmen added Needs Backport To stable-docs Should be backported to Red's stable docs (stable branch). Bot will attempt to backport on merge. and removed Needs Backport To stable-docs Should be backported to Red's stable docs (stable branch). Bot will attempt to backport on merge. labels Aug 27, 2023
@red-githubbot red-githubbot bot removed the Needs Backport To stable-docs Should be backported to Red's stable docs (stable branch). Bot will attempt to backport on merge. label Aug 27, 2023
@red-githubbot
Copy link

red-githubbot bot commented Aug 27, 2023

#6243 is a backport of this pull request to Red stable-docs.

Red-GitHubBot pushed a commit to Red-GitHubBot/Red-DiscordBot that referenced this pull request Aug 27, 2023
…s#6241)

(cherry picked from commit d844c6f)

Co-authored-by: Jakub Kuczys <me@jacken.men>
Jackenmen added a commit that referenced this pull request Aug 27, 2023
@Jackenmen Jackenmen modified the milestones: 3.5.6, 3.5.5 Sep 14, 2023
@Jackenmen Jackenmen added the Changelog Entry: Added Changelog entry for this PR has already been added to changelog PR. label Sep 14, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Category: Docs - Install Guides This is related to install guides. Changelog Entry: Added Changelog entry for this PR has already been added to changelog PR. Docs-only Type: Dependency Update Adding/updating/removing some of Red’s dependencies.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant