github actions: Merge workflows for linting to lint.yml

3 files changed, 6 insertions, 34 deletions

diff --git a/.github/workflows/docslint.yml b/.github/workflows/docslint.yml
deleted file mode 100644
index f0b3c38ea..000000000
--- a/.github/workflows/docslint.yml
+++ /dev/null
@@ -1,16 +0,0 @@
-name: Lint the format of document
-
-on: [push, pull_request]
-
-jobs:
-  build:
-    runs-on: ubuntu-latest
-
-    steps:
-    - uses: actions/checkout@v2
-    - name: Set up Python
-      uses: actions/setup-python@v1
-    - name: Install dependencies
-      run:  pip install -U tox
-    - name: Run Tox
-      run:  tox -e docslint
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index e6feb71b6..0c09c778b 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -1,10 +1,14 @@
-name: Lint source code (flake8)
+name: Lint source code
 
 on: [push, pull_request]
 
 jobs:
   build:
     runs-on: ubuntu-latest
+    strategy:
+      fail-fast: false
+      matrix:
+        tool: [docslint, flake8, mypy]
 
     steps:
     - uses: actions/checkout@v2
@@ -15,4 +19,4 @@ jobs:
     - name: Install dependencies
       run:  pip install -U tox
     - name: Run Tox
-      run:  tox -e flake8
+      run:  tox -e ${{ matrix.tool }}
diff --git a/.github/workflows/mypy.yml b/.github/workflows/mypy.yml
deleted file mode 100644
index 1d8bfc90a..000000000
--- a/.github/workflows/mypy.yml
+++ /dev/null
@@ -1,16 +0,0 @@
-name: Lint source code (mypy)
-
-on: [push, pull_request]
-
-jobs:
-  build:
-    runs-on: ubuntu-latest
-
-    steps:
-    - uses: actions/checkout@v2
-    - name: Set up Python
-      uses: actions/setup-python@v1
-    - name: Install dependencies
-      run:  pip install -U tox
-    - name: Run Tox
-      run:  tox -e mypy