diff options
| author | bors <bors@rust-lang.org> | 2023-03-11 07:28:44 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-03-11 07:28:44 +0000 |
| commit | e350fe4e608b653da47e8012d13ef701613e717b (patch) | |
| tree | 32bb29f8449dd0701a30197fe3222bc13f4a170e /src/ci/scripts | |
| parent | 19c53768af6e48514238e4224b5bf5ecd51bc7b1 (diff) | |
| parent | 030ea0578fb361b66becc898547cec406f3c53ce (diff) | |
| download | rust-e350fe4e608b653da47e8012d13ef701613e717b.tar.gz rust-e350fe4e608b653da47e8012d13ef701613e717b.zip | |
Auto merge of #109001 - matthiaskrgr:rollup-a3agnwp, r=matthiaskrgr
Rollup of 8 pull requests Successful merges: - #105798 (Relax ordering rules for `asm!` operands) - #105962 (Stabilize path_as_mut_os_str) - #106085 (use problem matchers for tidy CI) - #107711 (Stabilize movbe target feature) - #108017 (Add `--no-undefined-version` link flag and fix associated breakage) - #108891 (Remove an extraneous include) - #108902 (no more do while :<) - #108912 (Document tool lints) Failed merges: r? `@ghost` `@rustbot` modify labels: rollup
Diffstat (limited to 'src/ci/scripts')
| -rwxr-xr-x | src/ci/scripts/run-build-from-ci.sh | 2 |
1 files changed, 2 insertions, 0 deletions
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 |