Skip to content

Commit 4150b35

Browse files
committed
chore(ci): re-enable release profile for doctest
- following merge of 17.0.4 in rust stable the bug uncovered by lto on aarch64 has been fixed rust-lang/rust#116941 so we remove the hard coded override
1 parent cdda260 commit 4150b35

File tree

1 file changed

+1
-3
lines changed

1 file changed

+1
-3
lines changed

scripts/integer-tests.sh

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -22,8 +22,6 @@ not_multi_bit="_multi_bit"
2222
signed=""
2323
not_signed=""
2424
cargo_profile="release"
25-
# TODO: revert to release once the bug is properly fixed/identified
26-
cargo_profile_doctests="release_lto_off"
2725
avx512_feature=""
2826

2927
while [ -n "$1" ]
@@ -163,7 +161,7 @@ cargo "${RUST_TOOLCHAIN}" nextest run \
163161

164162
if [[ "${multi_bit}" == "" ]]; then
165163
cargo "${RUST_TOOLCHAIN}" test \
166-
--profile "${cargo_profile_doctests}" \
164+
--profile "${cargo_profile}" \
167165
--package tfhe \
168166
--features="${ARCH_FEATURE}",integer,internal-keycache,"${avx512_feature}" \
169167
--doc \

0 commit comments

Comments
 (0)