chore: upgrade to Python 3.11

Manually update Pipfile, then run an install
AndrewADev · Aug 20, 2023 · 36d738f · 36d738f
1 parent c674c35
commit 36d738f
Show file tree

Hide file tree

Showing 3 changed files with 43 additions and 38 deletions.
diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
@@ -17,7 +17,7 @@ jobs:
     - name: Setup Python
       uses: actions/setup-python@v4
       with:
-        python-version: "3.10"
+        python-version: "3.11"
 
     - name: Install dependencies
       run: |

diff --git a/Pipfile b/Pipfile
@@ -22,7 +22,7 @@ mypy-extensions = "*"
 mypy = "*"
 
 [requires]
-python_version = "3.10"
+python_version = "3.11"
 
 [pipenv]
 allow_prereleases = true
diff --git a/Pipfile.lock b/Pipfile.lock