From: Timo Heister <timo.heister@gmail.com>
Date: Wed, 27 May 2020 14:13:55 +0000 (-0400)
Subject: [CI] github actions do not check indent
X-Git-Tag: v9.3.0-rc1~1539^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=89c52791ec65c6e9d0ebb4ba52ca0f8f168e39f5;p=dealii.git

[CI] github actions do not check indent
---

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index baeeedb23a..460661c319 100644
--- 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