ci: change the order of lint jobs as lint_shell is more likely to fail

diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index 2fc73c0cf61e85f2c04a468da491dd1a41a66448..d02b332761a835c33215da680dec6f13ae0d388d 100644 (file)
--- 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