Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Update dependencies; use Python 3.11#13

Merged
EliahKagan merged 4 commits into
mainfrom
deps
Apr 1, 2023
Merged

Update dependencies; use Python 3.11#13
EliahKagan merged 4 commits into
mainfrom
deps

Conversation

@EliahKagan
Copy link
Copy Markdown
Owner

@EliahKagan EliahKagan commented Apr 1, 2023

This updates dependencies, including Pyodide. The new version of Pyodide uses Python 3.11.2, so I also migrated from 3.10 to 3.11 in the non-web (pipenv) manifest. I tested it all out and it seems to work fine.

This bumps the project version to alpha 4, and updates the documentation to reflect that and the changed dependency versions.

Also, since CodeQL doesn't automatically use Python 3.11, I switched from a basic to advanced configuration for it and added a step to set up Python 3.11. It finds and uses that interpreter, so it can install dependencies.

This uses Python 3.11 (rather than 3.10 as previously).

The specific Python version that Pyodide 0.23.0 uses is 3.11.2.

Since this is a move from Python 3.10 to Python 3.11 for this
project, I'm going ahead and bumping the project version from alpha
4+ to alpha 5 as well.
@EliahKagan EliahKagan changed the title Update dependencies Update dependencies; use Python 3.11 (web and local) Apr 1, 2023
CodeQL currently defaults to Python 3.10, including in the basic
configuration (which doesn't use/require a workflow file in the
repository). I was using that before, but it doesn't successfully
install the dependencies now, probably because of the switch from
Python 3.10 to Python 3.11 that his project has just underwent.

This uses an advanced configuration instead, with an added step to
run the setup-python action, specifying version 3.11.
@EliahKagan EliahKagan marked this pull request as ready for review April 1, 2023 23:23
@EliahKagan EliahKagan changed the title Update dependencies; use Python 3.11 (web and local) Update dependencies; use Python 3.11 Apr 1, 2023
@EliahKagan EliahKagan merged commit 90a0aab into main Apr 1, 2023
@EliahKagan EliahKagan deleted the deps branch April 1, 2023 23:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant