diff options
| author | bors <bors@rust-lang.org> | 2022-03-18 05:26:14 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-03-18 05:26:14 +0000 |
| commit | 691d1c1e12602c57237e9ccddac406ebd0c54082 (patch) | |
| tree | 058231f5b253bd4aed04b991c28bf3300ce962b7 /src/ci/scripts | |
| parent | d6f3a4ecb48ead838638e902f2fa4e5f3059779b (diff) | |
| parent | d3dc65be66d5abac5f017ce673d5aa600e46e55e (diff) | |
| download | rust-691d1c1e12602c57237e9ccddac406ebd0c54082.tar.gz rust-691d1c1e12602c57237e9ccddac406ebd0c54082.zip | |
Auto merge of #95065 - matthiaskrgr:rollup-75i6oz5, r=matthiaskrgr
Rollup of 4 pull requests Successful merges: - #95013 (Update browser-ui-test version to 0.8.2) - #95039 (Make negative coherence work when there's impl negative on super predicates) - #95047 (Refactor: remove an unnecessary pattern for ignoring all parts) - #95048 (update Miri) Failed merges: r? `@ghost` `@rustbot` modify labels: rollup
Diffstat (limited to 'src/ci/scripts')
| -rwxr-xr-x | src/ci/scripts/should-skip-this.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ci/scripts/should-skip-this.sh b/src/ci/scripts/should-skip-this.sh index bb48fcb5a21..c046a6c8a26 100755 --- a/src/ci/scripts/should-skip-this.sh +++ b/src/ci/scripts/should-skip-this.sh @@ -25,6 +25,7 @@ if [[ -n "${CI_ONLY_WHEN_SUBMODULES_CHANGED-}" ]]; then elif ! (git diff --quiet "$BASE_COMMIT" -- \ src/test/rustdoc-gui \ src/librustdoc \ + src/ci/docker/host-x86_64/x86_64-gnu-tools/Dockerfile \ src/tools/rustdoc-gui); then # There was a change in either rustdoc or in its GUI tests. echo "Rustdoc was updated" |