Skip to content

Commit 8637c7d

Browse files
committed
test
1 parent cac0d85 commit 8637c7d

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/ci/run.sh

+1-1
Original file line numberDiff line numberDiff line change
@@ -64,7 +64,7 @@ RUST_CONFIGURE_ARGS="$RUST_CONFIGURE_ARGS --disable-manage-submodules"
6464
RUST_CONFIGURE_ARGS="$RUST_CONFIGURE_ARGS --enable-locked-deps"
6565
RUST_CONFIGURE_ARGS="$RUST_CONFIGURE_ARGS --enable-cargo-native-static"
6666
RUST_CONFIGURE_ARGS="$RUST_CONFIGURE_ARGS --set rust.codegen-units-std=1"
67-
RUST_CONFIGURE_ARGS="$RUST_CONFIGURE_ARGS --set rust.validate-mir-opts=4"
67+
RUST_CONFIGURE_ARGS="$RUST_CONFIGURE_ARGS --set rust.validate-mir-opts=3"
6868

6969
# Only produce xz tarballs on CI. gz tarballs will be generated by the release
7070
# process by recompressing the existing xz ones. This decreases the storage

0 commit comments

Comments
 (0)