diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 348727b3f3d0b73140aecd20f38bbb5af3251a1e..fb230aa166a92279d82013ad7af33275a4a6d272 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -669,6 +669,9 @@ jobs: run: | echo "Failed to restore Python virtual environment from cache" exit 1 + - name: Register mypy problem matcher + run: | + echo "::add-matcher::.github/workflows/matchers/mypy.json" - name: Run mypy run: | . venv/bin/activate diff --git a/.github/workflows/matchers/mypy.json b/.github/workflows/matchers/mypy.json new file mode 100644 index 0000000000000000000000000000000000000000..f048fce528941f8ad5a5f9d453f1d690c7204115 --- /dev/null +++ b/.github/workflows/matchers/mypy.json @@ -0,0 +1,16 @@ +{ + "problemMatcher": [ + { + "owner": "mypy", + "pattern": [ + { + "regexp": "^(.+):(\\d+):\\s(error|warning):\\s(.+)$", + "file": 1, + "line": 2, + "severity": 3, + "message": 4 + } + ] + } + ] +}