diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 7377f46f..30c0bfb3 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -23,8 +23,11 @@ jobs:
         with:
           python-version: ${{ matrix.python-version }}
 
+      - name: Install uv
+        uses: astral-sh/setup-uv@08807647e7069bb48b6ef5acd8ec9567f424441b # v8.1.0
+
       - name: Install dependencies
-        run: python -m pip install --upgrade pip && python -m pip install -e .[dev]
+        run: uv pip install --system -e '.[dev]'
 
       - name: Lint
         run: python -m ruff check --select F,B,W291,W292,W293,I001,UP006,UP045,UP035,D212,D202,RUF010,UP015,D205,D200,RUF013,PTH123,E722,SIM102,SIM117,SIM105,RUF001,D415,N806,D102,E741,RUF015,RUF059,RUF022 .
@@ -44,8 +47,11 @@ jobs:
         with:
           python-version: "3.12"
 
+      - name: Install uv
+        uses: astral-sh/setup-uv@08807647e7069bb48b6ef5acd8ec9567f424441b # v8.1.0
+
       - name: Install Python dependencies
-        run: python -m pip install --upgrade pip && python -m pip install -e .[dev]
+        run: uv pip install --system -e '.[dev]'
 
       - name: Install Coq
         run: |