ci: move code checkers to a separate GH workflow

Signed-off-by: Yann Dirson <[email protected]>

Author: ydirson

.github/workflows/code-checkers.yml

@@ -0,0 +1,40 @@
+name: Static code checkers
+
+on: [push]
+
+jobs:
+  mypy:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v2
+    - name: Set up Python
+      uses: actions/setup-python@v4
+      with:
+        python-version: 3.8
+    - name: Install dependencies
+      run: |
+        python -m pip install --upgrade pip
+        pip install -r requirements/base.txt
+        pip install mypy
+    - name: Create a dummy data.py
+      run: cp data.py-dist data.py
+    - name: Check with mypy
+      run: mypy lib/ tests/
+      
+  pyright:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v2
+    - name: Set up Python
+      uses: actions/setup-python@v4
+      with:
+        python-version: 3.8
+    - name: Install dependencies
+      run: |
+        python -m pip install --upgrade pip
+        pip install -r requirements/base.txt
+        pip install pyright
+    - name: Create a dummy data.py
+      run: cp data.py-dist data.py
+    - name: Check with pyright
+      run: pyright lib/ # tests/

.github/workflows/jobs-check.yml

@@ -19,39 +19,3 @@ jobs:
       run: cp data.py-dist data.py
     - name: jobs-check
       run: ./jobs.py check
-
-  mypy:
-    runs-on: ubuntu-latest
-    steps:
-    - uses: actions/checkout@v2
-    - name: Set up Python
-      uses: actions/setup-python@v4
-      with:
-        python-version: 3.8
-    - name: Install dependencies
-      run: |
-        python -m pip install --upgrade pip
-        pip install -r requirements/base.txt
-        pip install mypy
-    - name: Create a dummy data.py
-      run: cp data.py-dist data.py
-    - name: Check with mypy
-      run: mypy lib/ tests/
-      
-  pyright:
-    runs-on: ubuntu-latest
-    steps:
-    - uses: actions/checkout@v2
-    - name: Set up Python
-      uses: actions/setup-python@v4
-      with:
-        python-version: 3.8
-    - name: Install dependencies
-      run: |
-        python -m pip install --upgrade pip
-        pip install -r requirements/base.txt
-        pip install pyright
-    - name: Create a dummy data.py
-      run: cp data.py-dist data.py
-    - name: Check with pyright
-      run: pyright lib/ # tests/