diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 311008d3..124ced34 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -40,40 +40,40 @@ jobs:
         working-directory: valida
         run: cargo test --verbose
 
-  lints:
-    name: Lints
-    runs-on: ubuntu-latest
-
-    steps:
-      - name: Checkout Plonky3
-        uses: actions/checkout@v4
-        with:
-          repository: Plonky3/Plonky3
-          path: Plonky3
-
-      - name: Checkout Valida
-        uses: actions/checkout@v4
-        with:
-          path: valida
-
-      - name: Install nightly toolchain
-        uses: actions-rs/toolchain@v1
-        with:
-          profile: minimal
-          toolchain: nightly
-          components: rustfmt, clippy
-
-      - name: Run cargo fmt
-        uses: actions-rs/cargo@v1
-        working-directory: valida
-        with:
-          command: fmt
-          args: --all -- --check
-
-      # TODO: Enforce clippy at some point...
-      #- name: Run cargo clippy
-      #  uses: actions-rs/cargo@v1
-      #  working-directory: valida
-      #  with:
-      #    command: clippy
-      #    args: --all-features --all-targets -- -D warnings -A incomplete-features
+#  lints:
+#    name: Lints
+#    runs-on: ubuntu-latest
+#
+#    steps:
+#      - name: Checkout Plonky3
+#        uses: actions/checkout@v4
+#        with:
+#          repository: Plonky3/Plonky3
+#          path: Plonky3
+#
+#      - name: Checkout Valida
+#        uses: actions/checkout@v4
+#        with:
+#          path: valida
+#
+#      - name: Install nightly toolchain
+#        uses: actions-rs/toolchain@v1
+#        with:
+#          profile: minimal
+#          toolchain: nightly
+#          components: rustfmt, clippy
+#
+#      - name: Run cargo fmt
+#        uses: actions-rs/cargo@v1
+#        working-directory: valida
+#        with:
+#          command: fmt
+#          args: --all -- --check
+#
+#      # TODO: Enforce clippy at some point...
+#      #- name: Run cargo clippy
+#      #  uses: actions-rs/cargo@v1
+#      #  working-directory: valida
+#      #  with:
+#      #    command: clippy
+#      #    args: --all-features --all-targets -- -D warnings -A incomplete-features