Skip to content

Commit

Permalink
chore(ci): re-enable release profile for doctest
Browse files Browse the repository at this point in the history
- 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
  • Loading branch information
IceTDrinker committed Nov 30, 2023
1 parent cdda260 commit 4150b35
Showing 1 changed file with 1 addition and 3 deletions.
4 changes: 1 addition & 3 deletions scripts/integer-tests.sh
Original file line number Diff line number Diff line change
Expand Up @@ -22,8 +22,6 @@ not_multi_bit="_multi_bit"
signed=""
not_signed=""
cargo_profile="release"
# TODO: revert to release once the bug is properly fixed/identified
cargo_profile_doctests="release_lto_off"
avx512_feature=""

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

if [[ "${multi_bit}" == "" ]]; then
cargo "${RUST_TOOLCHAIN}" test \
--profile "${cargo_profile_doctests}" \
--profile "${cargo_profile}" \
--package tfhe \
--features="${ARCH_FEATURE}",integer,internal-keycache,"${avx512_feature}" \
--doc \
Expand Down

0 comments on commit 4150b35

Please sign in to comment.