👷‍♂️ Update Python to Version 3.13

Signed-off-by: Pascal Marco Caversaccio <[email protected]>

.github/workflows/checks.yml

@@ -14,7 +14,7 @@ jobs:
         os:
           - ubuntu-latest
         python_version:
-          - 3.12
+          - 3.13
         architecture:
           - x64
         node_version:

.github/workflows/halmos-venom.yml

@@ -17,7 +17,7 @@ jobs:
         os:
           - ubuntu-latest
         python_version:
-          - 3.12
+          - 3.13
         architecture:
           - x64
         halmos:

.github/workflows/halmos.yml

@@ -17,7 +17,7 @@ jobs:
         os:
           - ubuntu-latest
         python_version:
-          - 3.12
+          - 3.13
         architecture:
           - x64
         halmos:

.github/workflows/publish-pypi.yml

@@ -18,7 +18,7 @@ jobs:
         os:
           - ubuntu-latest
         python_version:
-          - 3.12
+          - 3.13
         architecture:
           - x64
 

.github/workflows/publish-test-pypi.yml

@@ -15,7 +15,7 @@ jobs:
         os:
           - ubuntu-latest
         python_version:
-          - 3.12
+          - 3.13
         architecture:
           - x64
 

.github/workflows/test-contracts-venom.yml

@@ -14,7 +14,7 @@ jobs:
         os:
           - ubuntu-latest
         python_version:
-          - 3.12
+          - 3.13
         architecture:
           - x64
         node_version:

.github/workflows/test-contracts.yml

@@ -14,7 +14,7 @@ jobs:
         os:
           - ubuntu-latest
         python_version:
-          - 3.12
+          - 3.13
         architecture:
           - x64
         node_version:

CONTRIBUTING.md

@@ -43,11 +43,21 @@ You will need the following dependencies:
 - [Git](https://git-scm.com)
 - [Node.js](https://nodejs.org)
 - [pnpm](https://pnpm.io)
+- [Python](https://www.python.org)
 - [🐍Vyper](https://github.com/vyperlang/vyper)
 - [Foundry](https://github.com/foundry-rs/foundry)
 
 ## ⚙️ Installation
 
+> [!IMPORTANT]
+> All 🐍 snekmate contracts in the `main` branch are designed to work with the latest `master` branch of 🐍 Vyper, which can be installed via `pip install git+https://github.com/vyperlang/vyper@master` (note that Python version `3.10` or higher is required).
+
+```bash
+pip install git+https://github.com/vyperlang/vyper@master
+```
+
+**Note:** Python version **3.10** or higher is required.
+
 It is recommended to install [`pnpm`](https://pnpm.io) through the `npm` package manager, which comes bundled with [Node.js](https://nodejs.org/en) when you install it on your system. It is recommended to use a Node.js version `>= 22.0.0`.
 
 Once you have `npm` installed, you can run the following both to install and upgrade `pnpm`:

README.md

@@ -116,7 +116,7 @@ You can install 🐍 snekmate from [PyPI](https://pypi.org/project/snekmate) wit
 pip install snekmate
 ```
 
-> When using the 🐍Vyper CLI, the search path [defaults](https://docs.vyperlang.org/en/latest/structure-of-a-contract.html#searching-for-imports) to the current working directory and the Python [`sys.path`](https://docs.python.org/3.12/library/sys.html#sys.path). As a result, all imported 🐍 snekmate contracts (e.g. `from snekmate.tokens import erc20`) are seamlessly located during compilation.
+> When using the 🐍Vyper CLI, the search path [defaults](https://docs.vyperlang.org/en/latest/structure-of-a-contract.html#searching-for-imports) to the current working directory and the Python [`sys.path`](https://docs.python.org/3.13/library/sys.html#sys.path). As a result, all imported 🐍 snekmate contracts (e.g. `from snekmate.tokens import erc20`) are seamlessly located during compilation.
 
 ### 2️⃣ Foundry