diff --git a/Makefile b/Makefile index eef836908e..40c9783ba7 100644 --- a/Makefile +++ b/Makefile @@ -742,7 +742,7 @@ test_versionable: install_rs_build_toolchain test_backward_compatibility_ci: install_rs_build_toolchain TFHE_BACKWARD_COMPAT_DATA_DIR="$(BACKWARD_COMPAT_DATA_DIR)" RUSTFLAGS="$(RUSTFLAGS)" cargo $(CARGO_RS_BUILD_TOOLCHAIN) test --profile $(CARGO_PROFILE) \ --config "patch.'$(BACKWARD_COMPAT_DATA_URL)'.$(BACKWARD_COMPAT_DATA_PROJECT).path=\"tfhe/$(BACKWARD_COMPAT_DATA_DIR)\"" \ - --features=$(TARGET_ARCH_FEATURE),shortint,integer -p $(TFHE_SPEC) test_backward_compatibility -- --nocapture + --features=$(TARGET_ARCH_FEATURE),shortint,integer,zk-pok -p $(TFHE_SPEC) test_backward_compatibility -- --nocapture .PHONY: test_backward_compatibility # Same as test_backward_compatibility_ci but tries to clone the data repo first if needed test_backward_compatibility: tfhe/$(BACKWARD_COMPAT_DATA_DIR) test_backward_compatibility_ci diff --git a/scripts/clone_backward_compat_data.sh b/scripts/clone_backward_compat_data.sh index 35e458f1fe..2917bab92f 100755 --- a/scripts/clone_backward_compat_data.sh +++ b/scripts/clone_backward_compat_data.sh @@ -14,7 +14,7 @@ if ! git lfs env 2>/dev/null >/dev/null; then fi if [ -d $3 ]; then - cd $3 && git fetch --depth 1 && git reset --hard origin/$2 && git clean -dfx + cd $3 && git remote set-branches origin '*' && git fetch --depth 1 && git reset --hard origin/$2 && git clean -dfx else git clone $1 -b $2 --depth 1 $3