diff --git a/.github/workflows/test.yaml b/.github/workflows/test.yaml
index 84832ed..84ea4c6 100644
--- a/.github/workflows/test.yaml
+++ b/.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
diff --git a/pantograph/test_server.py b/pantograph/test_server.py
index afa18cc..003ee4e 100644
--- a/pantograph/test_server.py
+++ b/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
diff --git a/pyproject.toml b/pyproject.toml
index e6c2945..1f788ce 100644
--- a/pyproject.toml
+++ b/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"
diff --git a/src b/src
index 5fcb754..48c6381 160000
--- a/src
+++ b/src
@@ -1 +1 @@
-Subproject commit 5fcb75427604cd93219aca547feb75d79433d9e3
+Subproject commit 48c63819abddf0c33dc9b4187ea0b485d817a9e9