diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 8fd078b3..f7463a4f 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -9,7 +9,7 @@ jobs: strategy: matrix: os: [ubuntu-22.04, ubuntu-20.04, macos-12, macos-11, windows-latest] - python-version: ["3.7", "3.8", "3.9", "3.10"] + python-version: ["3.8", "3.9", "3.10", "3.11"] steps: - name: Checkout diff --git a/setup.py b/setup.py index e0698cb2..8e5d6533 100644 --- a/setup.py +++ b/setup.py @@ -89,7 +89,8 @@ def get_stubs_version_range() -> str: "Programming Language :: Python :: 3.7", "Programming Language :: Python :: 3.8", "Programming Language :: Python :: 3.9", - "Programming Language :: Python :: 3.10" + "Programming Language :: Python :: 3.10", + "Programming Language :: Python :: 3.11" ], project_urls={ "Documentation": "https://www.lean.io/docs/v2/lean-cli/key-concepts/getting-started",