diff --git a/ci-test.sh b/ci-test.sh index 02f19dd..8256abd 100644 --- a/ci-test.sh +++ b/ci-test.sh @@ -87,6 +87,7 @@ std) simd) cd $MIRI_LIB_SRC/portable-simd export RUSTFLAGS="-Ainternal_features ${RUSTFLAGS:-}" + export RUSTDOCFLAGS="-Ainternal_features ${RUSTDOCFLAGS:-}" echo "::group::Testing portable-simd" MIRIFLAGS="$DEFAULTFLAGS" \