build: Update to v0.3.14

.github/workflows/test.yaml

@@ -21,7 +21,7 @@ jobs:
       run: |
         set -o pipefail
         curl -sSfL https://github.com/leanprover/elan/releases/download/v3.1.1/elan-x86_64-unknown-linux-gnu.tar.gz | tar xz
-        ./elan-init -y --default-toolchain none
+        ./elan-init -y --default-toolchain $(<src/lean-toolchain)
         echo "$HOME/.elan/bin" >> "${GITHUB_PATH}"
 
     - name: Install Lean
@@ -31,6 +31,7 @@ jobs:
     - name: Install uv
       run: |
         curl -LsSf https://astral.sh/uv/install.sh | sh
+        elan default $(<src/lean-toolchain)
         uv sync
 
     - name: Run tests

pantograph/test_server.py

@@ -7,7 +7,7 @@ def test_version(self):
         """
         NOTE: Update this after upstream updates.
         """
-        self.assertEqual(get_version(), "0.3.13")
+        self.assertEqual(get_version(), "0.3.14")
 
     def test_server_init_del(self):
         import warnings

pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "pantograph"
-version = "0.3.13"
+version = "0.3.14"
 description = "A Machine-to-Machine Interaction System for Lean"
 license = "Apache-2.0"
 readme = "README.md"