CI: Separate the workflow into a few pieces

.github/workflows/check.yml

@@ -0,0 +1,43 @@
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#      http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+#
+name: PR Check CI (check)
+
+on:
+  pull_request:
+
+jobs:
+  check:
+    runs-on: ubuntu-18.04
+
+    steps:
+    - name: Checkout apps repo
+      uses: actions/checkout@v2
+      with:
+        path: apps
+        fetch-depth: 0
+
+    - name: Checkout nuttx repo
+      uses: actions/checkout@v2
+      with:
+        repository: apache/incubator-nuttx
+        path: nuttx
+        fetch-depth: 0
+
+    - name: Check Pull Request
+      run: |
+        cd apps
+        ranges=`git log -1 --merges --pretty=format:%P | awk -F" " '{ print $1 ".." $2 }'`
+        git log --oneline $ranges
+        commits=`git log --reverse --format=format:%H $ranges`
+        echo "../nuttx/tools/checkpatch.sh -g $commits"
+        ../nuttx/tools/checkpatch.sh -g $commits

.github/workflows/main.yml

@@ -16,32 +16,6 @@ on:
   pull_request:
 
 jobs:
-  check:
-    runs-on: ubuntu-18.04
-
-    steps:
-    - name: Checkout apps repo
-      uses: actions/checkout@v2
-      with:
-        path: apps
-        fetch-depth: 0
-
-    - name: Checkout nuttx repo
-      uses: actions/checkout@v2
-      with:
-        repository: apache/incubator-nuttx
-        path: nuttx
-        fetch-depth: 0
-
-    - name: Check Pull Request
-      run: |
-        cd apps
-        ranges=`git log -1 --merges --pretty=format:%P | awk -F" " '{ print $1 ".." $2 }'`
-        git log --oneline $ranges
-        commits=`git log --reverse --format=format:%H $ranges`
-        echo "../nuttx/tools/checkpatch.sh -g $commits"
-        ../nuttx/tools/checkpatch.sh -g $commits
-
   build:
     runs-on: ubuntu-18.04
     env: