From 89c52791ec65c6e9d0ebb4ba52ca0f8f168e39f5 Mon Sep 17 00:00:00 2001 From: Timo Heister Date: Wed, 27 May 2020 10:13:55 -0400 Subject: [PATCH] [CI] github actions do not check indent --- .github/workflows/main.yml | 3 --- 1 file changed, 3 deletions(-) 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 -- 2.39.5