Bump pycrdt v0.13.0 (#140)

* Bump pycrdt v0.13.0

* Require pycrdt-store >=0.1.4

* Remove unneeded pypy3.10 reference

* Don't run mypy on python 3.10

Author: davidbrochart

.github/workflows/test.yml

@@ -51,14 +51,12 @@ jobs:
       - uses: actions/setup-python@v5
         with:
           python-version: ${{ matrix.python-version }}
-      - name: Ensure pip >= v25.1
-        run: python -m pip install "pip >= 25.1"
       - name: Install dependencies
         run: |
           pip install --group test .
           cd tests; npm install
       - name: Check types
-        if: ${{ !((matrix.python-version == 'pypy3.10') || (matrix.python-version == 'pypy3.11')) }}
+        if: ${{ !((matrix.python-version == '3.10') || (matrix.python-version == 'pypy3.11')) }}
         run: |
           mypy src tests
       - name: Run tests

pyproject.toml

@@ -29,8 +29,8 @@ classifiers = [
 ]
 dependencies = [
     "anyio >=3.6.2,<5",
-    "pycrdt >=0.12.16,<0.13.0",
-    "pycrdt-store >=0.1.0,<0.2.0",
+    "pycrdt >=0.13.0,<0.14.0",
+    "pycrdt-store >=0.1.4,<0.2.0",
 ]
 
 [project.optional-dependencies]