File tree 3 files changed +6
-3
lines changed
3 files changed +6
-3
lines changed Original file line number Diff line number Diff line change @@ -28,7 +28,7 @@ environment:
28
28
# MSVC tools tests
29
29
- MSYS_BITS : 64
30
30
SCRIPT : src/ci/docker/x86_64-gnu-tools/checktools.sh x.py toolstates.json
31
- RUST_CONFIGURE_ARGS : --build=x86_64-pc-windows-msvc --save-toolstates=toolstates.json
31
+ RUST_CONFIGURE_ARGS : --build=x86_64-pc-windows-msvc --save-toolstates=toolstates.json --enable-test-miri
32
32
33
33
# 32/64-bit MinGW builds.
34
34
#
Original file line number Diff line number Diff line change @@ -21,5 +21,5 @@ RUN apt-get update && apt-get install -y --no-install-recommends \
21
21
COPY scripts/sccache.sh /scripts/
22
22
RUN sh /scripts/sccache.sh
23
23
24
- ENV RUST_CONFIGURE_ARGS --build=x86_64-unknown-linux-gnu --enable-test-miri
24
+ ENV RUST_CONFIGURE_ARGS --build=x86_64-unknown-linux-gnu
25
25
ENV RUST_CHECK_TARGET check-aux
Original file line number Diff line number Diff line change @@ -19,5 +19,8 @@ RUN sh /scripts/sccache.sh
19
19
20
20
COPY x86_64-gnu-tools/checktools.sh /tmp/
21
21
22
- ENV RUST_CONFIGURE_ARGS --build=x86_64-unknown-linux-gnu --save-toolstates=/tmp/toolstates.json
22
+ ENV RUST_CONFIGURE_ARGS \
23
+ --build=x86_64-unknown-linux-gnu \
24
+ --enable-test-miri \
25
+ --save-toolstates=/tmp/toolstates.json
23
26
ENV SCRIPT /tmp/checktools.sh ../x.py /tmp/toolstates.json
You can’t perform that action at this time.
0 commit comments