[CI] github actions do not check indent

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index baeeedb23a0dcc73fc2f88755cb6be40c76e34e6..460661c319f0936f7a7739e81a89544394662637 100644 (file)
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -28,7 +28,6 @@ jobs:
         path: detailed.log
     - name: build
       run: |
-        ./contrib/utilities/check_indentation.sh
         make -j 2
 
   osx-serial:
@@ -56,7 +55,6 @@ jobs:
         path: detailed.log
     - name: build
       run: |
-        ./contrib/utilities/check_indentation.sh
         make -j 2
         make -j 2 test # quicktests
 
@@ -92,7 +90,6 @@ jobs:
         path: detailed.log
     - name: build
       run: |
-        ./contrib/utilities/check_indentation.sh
         make -j 2
         make -j 2 test #quicktests