Reenable lints

.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