move lint to separate workflow

elementary · Jan 10, 2022 · 96951d1 · 96951d1
1 parent d345521
commit 96951d1
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 12 deletions.
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
@@ -0,0 +1,17 @@
+name: Lint
+
+on: [push, pull_request]
+
+jobs:
+
+  lint:
+    runs-on: ubuntu-latest
+    container:
+      image: valalang/lint
+
+    steps:
+    - uses: actions/checkout@v1
+      with:
+          submodules: false
+    - name: Lint
+      run: io.elementary.vala-lint -d .
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -1,8 +1,9 @@
-name: CI
+name: Build
 
 on: [push, pull_request]
 
 jobs:
+
   build:
 
     runs-on: ubuntu-latest
@@ -30,14 +31,3 @@ jobs:
         cd build
         ninja
 
-  lint:
-
-    runs-on: ubuntu-latest
-
-    container:
-      image: valalang/lint
-
-    steps:
-    - uses: actions/checkout@v1
-    - name: Lint
-      run: io.elementary.vala-lint -d .