Skip to content

Commit

Permalink
Rollup merge of rust-lang#102780 - RalfJung:miri-lib-sys, r=Mark-Simu…
Browse files Browse the repository at this point in the history
…lacrum

run Miri CI when std::sys changes

r? `@Mark-Simulacrum`
  • Loading branch information
Dylan-DPC authored Oct 7, 2022
2 parents d70e56a + 3d93c38 commit 3800d40
Showing 1 changed file with 4 additions and 1 deletion.
5 changes: 4 additions & 1 deletion src/ci/scripts/should-skip-this.sh
Original file line number Diff line number Diff line change
Expand Up @@ -19,9 +19,12 @@ if [[ -n "${CI_ONLY_WHEN_SUBMODULES_CHANGED-}" ]]; then
# those files are present in the diff a submodule was updated.
echo "Submodules were updated"
elif ! (git diff --quiet "$BASE_COMMIT" -- \
src/tools/clippy src/tools/rustfmt src/tools/miri); then
src/tools/clippy src/tools/rustfmt src/tools/miri
library/std/src/sys); then
# There is not an easy blanket search for subtrees. For now, manually list
# the subtrees.
# Also run this when the platform-specific parts of std change, in case
# that breaks Miri.
echo "Tool subtrees were updated"
elif ! (git diff --quiet "$BASE_COMMIT" -- \
src/test/rustdoc-gui \
Expand Down

0 comments on commit 3800d40

Please sign in to comment.