From 5945902f83656ffb0a570d2132e15d6f2f52d783 Mon Sep 17 00:00:00 2001
From: Daniel Lubarov <daniel@lubarov.com>
Date: Wed, 10 Jan 2024 13:00:07 -0800
Subject: [PATCH] Reenable lints

---
 .github/workflows/ci.yml | 74 ++++++++++++++++++++--------------------
 1 file changed, 37 insertions(+), 37 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 124ced34..311008d3 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