From 83eccc742ca932733b71007f78f0da28155f68ea Mon Sep 17 00:00:00 2001 From: Henrik Gombos Date: Wed, 26 Jul 2023 08:32:36 -0400 Subject: [PATCH] ci: change the order of lint jobs as lint_shell is more likely to fail --- .github/workflows/lint.yml | 30 +++++++++++++++--------------- 1 file changed, 15 insertions(+), 15 deletions(-) diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index 2fc73c0cf6..d02b332761 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -7,21 +7,6 @@ on: branches: [ master ] jobs: - lint-c: - runs-on: ubuntu-latest - - steps: - - uses: actions/checkout@v3 - - - name: install tools - run: sudo apt-get install astyle - - - name: indent - run: make indent-c - - - name: check formatting - run: git diff --exit-code - lint-shell: runs-on: ubuntu-latest @@ -36,3 +21,18 @@ jobs: with: sh_checker_shellcheck_disable: false sh_checker_comment: true + + lint-c: + runs-on: ubuntu-latest + + steps: + - uses: actions/checkout@v3 + + - name: install tools + run: sudo apt-get install astyle + + - name: indent + run: make indent-c + + - name: check formatting + run: git diff --exit-code