ci: Don't format sources explicitly

pulp-platform · May 30, 2024 · 759597f · 759597f
1 parent 9038dd4
commit 759597f
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
@@ -34,9 +34,6 @@ jobs:
       - name: Make clean sources
         run: |
           make clean pkg-sources
-      - name: Format with verible
-        run: |
-          verible-verilog-format --inplace hw/**/*.sv
       - name: Check clean
         run: |
           git status && test -z "$(git status --porcelain)"
@@ -65,9 +62,6 @@ jobs:
       - name: Make clean sources
         run: |
           make -B pkg-sources
-      - name: Format with verible
-        run: |
-          verible-verilog-format --inplace hw/**/*.sv
       - name: Check clean
         run: |
             git status && test -z "$(git status --porcelain)"