diff options
| author | Deadbeef <ent3rm4n@gmail.com> | 2022-12-23 14:59:42 +0000 |
|---|---|---|
| committer | Deadbeef <ent3rm4n@gmail.com> | 2023-03-06 07:13:48 +0000 |
| commit | ef807cb321604ae96ed0f78c78e3e9348d6d11ba (patch) | |
| tree | e6327c046388f781d43267f3b26007155b063001 /src/ci | |
| parent | 35636f9459720513ca4ed19373a4a7c9e0ea3c46 (diff) | |
| download | rust-ef807cb321604ae96ed0f78c78e3e9348d6d11ba.tar.gz rust-ef807cb321604ae96ed0f78c78e3e9348d6d11ba.zip | |
use problem matchers for tidy CI
Diffstat (limited to 'src/ci')
| -rw-r--r-- | src/ci/github-actions/problem_matchers.json | 15 | ||||
| -rwxr-xr-x | src/ci/scripts/run-build-from-ci.sh | 2 |
2 files changed, 17 insertions, 0 deletions
diff --git a/src/ci/github-actions/problem_matchers.json b/src/ci/github-actions/problem_matchers.json new file mode 100644 index 00000000000..37561924b7d --- /dev/null +++ b/src/ci/github-actions/problem_matchers.json @@ -0,0 +1,15 @@ +{ + "problemMatcher": [ + { + "owner": "tidy-error-file-line", + "pattern": [ + { + "regexp": "^tidy error: /checkout/(.+):(\\d+): (.+)$", + "file": 1, + "line": 2, + "message": 3 + } + ] + } + ] +} diff --git a/src/ci/scripts/run-build-from-ci.sh b/src/ci/scripts/run-build-from-ci.sh index c02117f459d..55e75800d91 100755 --- a/src/ci/scripts/run-build-from-ci.sh +++ b/src/ci/scripts/run-build-from-ci.sh @@ -10,6 +10,8 @@ source "$(cd "$(dirname "$0")" && pwd)/../shared.sh" export CI="true" export SRC=. +echo "::add-matcher::src/ci/github-actions/problem_matchers.json" + # Remove any preexisting rustup installation since it can interfere # with the cargotest step and its auto-detection of things like Clippy in # the environment |